Alternatives and similar repositories for bule

Users that are interested in bule are comparing it to the libraries listed below

• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• JagratPatkar / Boson
  A General-Purpose Programming Language
  ☆10Updated 2 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated 3 weeks ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆44Updated 6 months ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆85Updated 3 weeks ago
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated 2 years ago
• ths-rwth / smtrat
  ☆61Updated 2 months ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆31Updated 4 years ago
• melody-notpond / curly-lang-legacy
  Curly programming language
  ☆18Updated 5 years ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆141Updated 3 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆80Updated 2 years ago
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 7 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆94Updated 2 months ago
• SjVer / Evi-Lang
  The Evi programming language
  ☆16Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• eprover / eprover
  ☆164Updated 2 weeks ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated 2 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆42Updated 3 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆51Updated 3 years ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 3 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• drift-lang / drift
  The Drift Script Programming Language
  ☆11Updated 3 years ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆76Updated 10 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆152Updated last year
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago