Alternatives and similar repositories for molecular

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

• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 10 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago
• joewhaley / bddbddb
  ☆11Updated 9 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 10 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated 11 months ago
• Aurele-Barriere / CoreJIT
  Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
  ☆11Updated 2 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆15Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆14Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆54Updated last week
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• xldenis / whycode
  ☆18Updated 5 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated this week
• mcy / alkyne
  ☆23Updated 3 years ago