Reversible programming in Agda
☆13Jun 22, 2023Updated 2 years ago
Alternatives and similar repositories for flipper
Users that are interested in flipper are comparing it to the libraries listed below
Sorting:
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated last month
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- ☆16Jun 3, 2025Updated 9 months ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- Identifying similar OCaml codes☆30Jul 30, 2024Updated last year
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Official code accompanying the arXiv paper Compressing Multisets with Large Alphabets☆30Sep 22, 2021Updated 4 years ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆34Jun 27, 2025Updated 8 months ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆31Nov 17, 2025Updated 3 months ago
- Neurosymbolic Library☆28Feb 18, 2026Updated 2 weeks ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- ☆11Mar 4, 2020Updated 6 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆47May 13, 2018Updated 7 years ago
- being a particular fragment of Haskell, extended to a proof system☆44Updated this week
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Wikis for Knowledge Management and Learning☆13Updated this week
- Kanren with databases☆44Jul 30, 2024Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- ☆35May 11, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- ☆12Nov 22, 2024Updated last year
- ☆11May 8, 2019Updated 6 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago