Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by salmans
A curated list of projects in awesome lists by salmans .
https://github.com/salmans/codd
A minimal in-memory database with relational algebraic expressions as queries
database relational-algebra rust
Last synced: 14 Oct 2024
https://github.com/salmans/rusty-razor
Razor is a tool for constructing finite models for first-order theories
chase geometric-logic model-finding rust-lang theorem-proving
Last synced: 31 Oct 2024
https://github.com/salmans/pluscal-workshop
TLA+ 101: Specifying Concurrent Processes in PlusCal
Last synced: 14 Oct 2024
https://github.com/salmans/rust-z3-practice
solving a number of SAT problems using Z3
Last synced: 14 Oct 2024
https://github.com/salmans/simple-parsec
Yet another simple parser combinator library in Rust
parser-combinators practice-project rust
Last synced: 14 Oct 2024
https://github.com/salmans/razorexamples
Razor sample specifications for PAAR14
Last synced: 14 Oct 2024