Project Name	Stars	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Ostrich	28	1	3 months ago	4	July 14, 2023	19	other	Scala
An SMT Solver for string constraints
Regex Crossword Solver	12		2 years ago			3	mit	Python
https://regexcrossword.com/ solver using Z3py
Stringfuzz	9		5 years ago			13	other	Python
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

Alternatives To Ostrich

Select To Compare

Ostrich ⭐ 28

An SMT Solver for string constraints

dependent packages 1total releases 4most recent commit 3 months ago

Regex Crossword Solver ⭐ 12

https://regexcrossword.com/ solver using Z3py

most recent commit 2 years ago

Stringfuzz ⭐ 9

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

most recent commit 5 years ago

Suggest An Alternative To ostrich

Alternative Project Comparisons

Ostrich vs Regex Crossword Solver

Ostrich vs Stringfuzz

Popular Smt Projects

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

most recent commit 6 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

most recent commit 4 months ago

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years ago

Popular Regular Expression Projects

Ripgrep ⭐ 44,855

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

dependent packages 348total releases 37latest release November 26, 2023most recent commit 2 days ago

Learn Regex ⭐ 44,809

Learn regex the easy way

most recent commit 10 months ago

Androidutilcode ⭐ 32,157

:fire: Android developers should collect the following utils(updating).

dependent packages 25total releases 4latest release October 14, 2022most recent commit a year ago

Fd ⭐ 30,369

A simple, fast and user-friendly alternative to 'find'

total releases 31latest release October 21, 2023most recent commit 3 months ago

Z ⭐ 15,648

z - jump around

total releases 1latest release February 27, 2018most recent commit 4 months ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit