Ecosyste.ms: Packages

rust 22 solver 10 math 9 boolean 9 language 7 air 6 first-order 6 sat 6 parser 6 dsl 5 kanren 5 prover 5 metaprogramming 5 ai 5 logic-programming 5 types 5 rust-lang 5 proofs 5 logical-programming 4 programming-language 4 advancedresearch 4 match 4 testing 4 predicate 4 combinatorial 4 programming-languages 4 graph 4 formal-specification 4 logic-gates 4 gates 4 reasoning 4 specification-language 4 rewriting 4 specification 4 proof-of-concept 4 formal 4 verification 4 artificial-intelligence 4 inference 4 dependent-types 4 cnf 4 chase 3 theorem 3 emulator 3 satisfiability 3 razor 3 logical 3 geometric-logic 3 type-checking 3 truth-table 3 theorem-proving 3 model-finding 3 digital 3 dedukti 3 wasm 3 typechecker 3 database 3 strongly-typed 3 typeql 3 typedb 3 polymorphic 3 polymorphism 3 query 3 query-language 3 type-system 3 binary 3 circuit 3 gate 3 map 3 simulation 3 predicates 3 javascript 2 model-finder 2 geometric 2 ctl 2 game 2 cnfgen 2 reactive 2 agi 2 proving 2 library 2 api 2 simulator 2 programming 2 fuzzy 2 type-level 2 aig 2 formal_method 2 model_checking 2 json 2 jsonlogic 2 signal 2 timing 2 svg 2 diagram 2 diagrams 2 wavedrom 2 waveform 2 schematic 2 save 2