Martomate / HexacraftLinks
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆14Updated 3 weeks ago
Alternatives and similar repositories for Hexacraft
Users that are interested in Hexacraft are comparing it to the libraries listed below
Sorting:
- Accelerated machine learning with dependent types☆95Updated last week
- Arete is an experimental programming language.☆12Updated last year
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Compiler with automatic differentiation☆48Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- Benchmark repository of polyglot effect handler examples☆24Updated last month
- ☆15Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- Lean 4 Metamath verifier☆18Updated last week
- A collection of programming languages and type systems.☆33Updated 3 weeks ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A formalization of ML kernel languages☆14Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- A toy implementation of socket programming for Lean 4.☆27Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- A verified tensor library in Lean☆24Updated last week
- An implementation of scoped algebraic effects and handlers in Agda.☆12Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- The PERPL Compiler☆13Updated last month
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆19Updated last month
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago