chemlambda / molecularLinks
Molecular computers with interaction combinators like graph rewrite systems
☆10Updated 2 years ago
Alternatives and similar repositories for molecular
Users that are interested in molecular are comparing it to the libraries listed below
Sorting:
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated 2 weeks ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 5 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated last week
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- ☆11Updated 9 years ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- ☆19Updated 2 years ago
- Slog 1.0☆43Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- DNA origami design tool☆37Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- The Cubicle model checker☆14Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Modeling futexes in TLA+☆20Updated 9 months ago
- The rule-based graph programming language GP 2☆68Updated last year
- Binary analysis in HOL☆41Updated 3 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ☆82Updated 8 months ago
- A Low Barrier Proof Assistant☆116Updated this week
- Translate Python and JavaScript into MLIR☆16Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year