Alternatives and similar repositories for bule:

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

• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated 2 weeks ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆42Updated this week
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated last week
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• pidhii / ether
  Yet another language oriented on functional programming.
  ☆9Updated 4 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆26Updated this week
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated 8 months ago
• ta0kira / zeolite
  Zeolite is a statically-typed, general-purpose programming language.
  ☆19Updated 6 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…
  ☆141Updated 6 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated last month
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆85Updated last week
• INRIA / velus
  A Lustre compiler in Coq
  ☆68Updated 3 weeks ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated last week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆57Updated 5 months ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated last month
• ths-rwth / smtrat
  ☆52Updated last month
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆94Updated 2 months ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆16Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆94Updated 2 weeks ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year