Alternatives and similar repositories for YourHonour

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

• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 7 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 4 months ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• pa-ba / equivalence
  ☆12Updated 2 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• artagnon / atomic-rtags
  🔖 rtags for Atom
  ☆9Updated 9 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 6 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 weeks ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 11 months ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 5 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 12 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 3 weeks ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 2 months ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆71Updated 3 weeks ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• Z-Shang / fpy
  Python module for composing computations
  ☆26Updated 4 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago