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 10 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated last week
- ☆36Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated this week
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 7 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Reference compiler for c0☆37Updated 3 months ago
- How to read Lean☆19Updated 7 months ago
- LLVM support for the lean theorem prover☆51Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last week
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 3 years ago
- 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 this week
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- Specification of the Cedille Core language☆33Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- maze game encoded in Lean 4 syntax☆60Updated 2 months ago
- Course on Metaprogramming☆73Updated 2 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last month
- Two-Level Type Theory☆28Updated 5 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 4 months ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year