Alternatives and similar repositories for relaxed-machines

Users that are interested in relaxed-machines are comparing it to the libraries listed below

• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆16Updated 2 years ago
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 5 months ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• vrahli / NuprlInCoq
  Implementation of Nuprl's type theory in Coq
  ☆45Updated 6 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆10Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆27Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated last month
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago