Martomate / Hexacraft
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆12Updated last month
Alternatives and similar repositories for Hexacraft:
Users that are interested in Hexacraft are comparing it to the libraries listed below
- ☆21Updated 2 years ago
- Reversible programming in Agda☆12Updated last year
- Formal grammars in Lean 3☆8Updated last year
- Accelerated machine learning with dependent types☆87Updated last week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆17Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Building group theory from scratch in Lean☆59Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- A monadic library for symbolic evaluation☆58Updated last week
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Demo for dependent types + runtime code generation☆66Updated this week
- A toolkit for enforcing logical specifications on neural networks☆84Updated this week
- A simple dependently typed language based on the Calculus of Constructions.☆16Updated 4 years ago
- Fast equality saturation in Haskell☆82Updated 9 months ago
- ☆21Updated 4 years ago
- A Haskell probabilistic programming library.☆18Updated last week
- GPU-based interaction nets evaluator☆15Updated 13 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆24Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆23Updated 3 months ago
- Genetic program repair using GHC☆30Updated 9 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- WIP collections library for Lean 4☆32Updated 2 weeks ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- ☆25Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- source code for the bondi programming language☆40Updated 6 years ago