j-towns / flipperLinks
Reversible programming in Agda
☆12Updated 2 years ago
Alternatives and similar repositories for flipper
Users that are interested in flipper are comparing it to the libraries listed below
Sorting:
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- ☆36Updated last year
- A formalization of ML kernel languages☆24Updated this week
- Demo for dependent types + runtime code generation☆70Updated 6 months ago
- How to read Lean☆20Updated 7 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated 3 weeks ago
- Slog 1.0☆43Updated last year
- A Haskell probabilistic programming library.☆19Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- Reference compiler for c0☆36Updated 3 months ago
- Bindings to libclingo for the lean4 prover and programming language!☆17Updated 9 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 11 months ago
- Two-Level Type Theory☆28Updated 5 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- an optimizing curry compiler☆14Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- A verified tensor library in Lean☆29Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last month
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆38Updated last month
- A verified compiler for a lazy functional language☆37Updated this week
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- ☆16Updated 2 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆13Updated 5 months ago
- A PCRE2 compatible regular expression engine written in Lean 4.☆17Updated this week