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
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆141Updated 3 months ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆31Updated 4 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆157Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated last month
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated last week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• JagratPatkar / Boson
  A General-Purpose Programming Language
  ☆10Updated 2 years ago
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated last month
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated 2 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• melody-notpond / curly-lang-legacy
  Curly programming language
  ☆18Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• gramlang / gram
  A programming language for distributed systems.
  ☆35Updated last month
• MintSoup / Carbon
  Carbon programming language
  ☆10Updated 6 months ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆42Updated 3 months ago
• eprover / eprover
  ☆162Updated last week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆30Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆80Updated 2 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆158Updated last month
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 months ago