shackle-rs / shackle

Related projects ⓘ

Alternatives and complementary repositories for shackle

• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆58Updated 2 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 9 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆102Updated 11 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆14Updated 7 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆14Updated 4 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆32Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆75Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆12Updated 3 years ago
• digama0 / frat
  DRAT proof processor
  ☆13Updated last year
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 4 years ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆25Updated last year
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆20Updated 6 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 6 months ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated 2 weeks ago