j-towns / flipperLinks
Reversible programming in Agda
☆13Updated 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 last year
- Partition refinement☆16Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Implementation of higher-order logic in Python☆67Updated 2 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- A Haskell probabilistic programming library.☆21Updated last week
- Certified Machine Learning☆41Updated 4 years ago
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- A monadic library for symbolic evaluation☆73Updated 6 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 6 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆21Updated 7 months ago
- Implementations of various toy programming languages☆12Updated 7 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Updated 2 months ago
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 11 months ago
- Arete is an experimental programming language.☆12Updated 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 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Updated 9 years ago
- Graded Dependent Type systems☆25Updated 2 years ago
- A formalization of ML kernel languages☆41Updated this week
- Educational Proof Assistant for Type Theory☆80Updated 3 weeks ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- ☆37Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago