Alternatives and similar repositories for bule

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

• JagratPatkar / Boson
  A General-Purpose Programming Language
  ☆9Updated 2 years ago
• pidhii / ether
  Yet another language oriented on functional programming.
  ☆9Updated 8 months ago
• marijnheule / microsat
  microsat
  ☆137Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 weeks ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 3 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆77Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• melody-notpond / curly-lang-legacy
  Curly programming language
  ☆18Updated 4 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆214Updated 3 months ago
• fennecdjay / libprettyerr
  A C library for displaying informative, clean and readable errors
  ☆25Updated last year
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 2 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• SympleLib / SympleCode
  Bare-bones programming language similar to C
  ☆5Updated 3 years ago
• MintSoup / Carbon
  Carbon programming language
  ☆10Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• eprover / eprover
  ☆149Updated this week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆152Updated last week
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated 3 weeks ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 3 months ago