potassco / clingo-rs

Related projects ⓘ

Alternatives and complementary repositories for clingo-rs

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆75Updated this week
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆68Updated last week
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆24Updated 3 months ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 3 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆143Updated last year
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆284Updated last month
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 6 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆60Updated 4 months ago
• jix / varisat
  SAT solver written in Rust
  ☆253Updated 2 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆97Updated this week
• droundy / tinyset
  Compact sets in rust
  ☆53Updated this week
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 5 months ago
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆108Updated 4 years ago
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆41Updated 5 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆74Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 2 weeks ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆80Updated this week
• przygienda / dot-rust
  A library for generating Graphviz DOT language files for graphs.
  ☆73Updated last year
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated 3 weeks ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆39Updated last week
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 6 months ago
• CAD97 / generativity
  ☆34Updated last year
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆104Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆81Updated last year
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆185Updated 2 weeks ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆48Updated 3 weeks ago
• weiznich / rust-foundation-community-grant
  ☆20Updated 2 years ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆460Updated 8 months ago