jgregoriods / rongopyLinks
Ideas for the decipherment of Easter Island's rongorongo writing
☆11Updated 2 years ago
Alternatives and similar repositories for rongopy
Users that are interested in rongopy are comparing it to the libraries listed below
Sorting:
- A Haskell probabilistic programming library.☆21Updated last month
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated 3 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- Reverse-mode automatic differentiation with delimited continuations☆15Updated 2 years ago
- GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.☆36Updated 7 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Updated 3 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆13Updated last year
- Geometry in Coq for French high school [maintainer=@thery]☆21Updated last year
- Learn Lean and topology☆26Updated 2 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- ☆21Updated 4 years ago
- A simple λProlog interpreter☆20Updated 4 years ago
- Complexity analysis in Lean☆10Updated last year
- Agda to C compiler☆10Updated 4 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Updated this week
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- Experiments with higher-order abstract syntax in Agda☆22Updated 3 years ago
- A formally verified implementation of differential dynamic logic in Coq☆18Updated 3 years ago
- Genetic program repair using GHC☆33Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆20Updated last year
- A usable type system for call by push-value☆33Updated 6 years ago
- Experiments with Realizability in Univalent Type Theory☆19Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- An AI for Tetris on Jstris☆11Updated 6 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Updated 10 months ago
- The official interpreter for the Jeopardy language☆16Updated 3 years ago