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:
- Learn Lean and topology☆25Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- A Haskell probabilistic programming library.☆21Updated 3 weeks ago
- Complexity analysis in Lean☆10Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆12Updated last year
- Very controlled natural language tactics for Lean☆66Updated last year
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22Updated last year
- ☆37Updated last year
- Monadic Constraint Programming framework☆28Updated 7 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Updated 2 years ago
- A database of small finite categories☆14Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- WIP collections library for Lean 4☆32Updated 8 months ago
- Building group theory from scratch in Lean☆62Updated 4 years ago
- GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.☆35Updated 6 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- ☆24Updated 3 years ago
- Experiments with Realizability in Univalent Type Theory☆19Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆77Updated 6 months ago
- tool for turning Lean proofs into Blender animations☆79Updated last week
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 3 weeks ago
- The combinatorial Hydra game☆16Updated 9 years ago
- https://1000-plus.github.io/☆19Updated last month
- Agda to C compiler☆10Updated 3 months ago
- Linear algebra package for Futhark☆17Updated 3 months ago