Alternatives and similar repositories for bule

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

• asoffer / Icarus
  An experimental general-purpose programming language
  ☆10Updated last year
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated last week
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• JagratPatkar / Boson
  A General-Purpose Programming Language
  ☆10Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆119Updated 2 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆53Updated last year
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 4 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 3 months ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 2 months ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆70Updated last year
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• MintSoup / Carbon
  Carbon programming language
  ☆10Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆30Updated 6 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆63Updated 9 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆35Updated 2 weeks ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 weeks ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated last month
• gramlang / gram
  A programming language for distributed systems.
  ☆35Updated 2 months ago
• Uriopass / Stacklang
  A home-made stack based language heavily inspired from PostScript
  ☆11Updated 5 years ago