Martomate / Hexacraft
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆12Updated last week
Alternatives and similar repositories for Hexacraft:
Users that are interested in Hexacraft are comparing it to the libraries listed below
- Accelerated machine learning with dependent types☆92Updated this week
- A toolkit for enforcing logical specifications on neural networks☆86Updated this week
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Arete is an experimental programming language.☆12Updated last year
- source code for the bondi programming language☆40Updated 6 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- A Haskell probabilistic programming library.☆18Updated 2 weeks ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- ☆21Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A verified compiler for a lazy functional language☆34Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- ☆21Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- A simple dependently typed language based on the Calculus of Constructions.☆17Updated 4 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Coq course at Chalmers CSE☆38Updated 7 years ago
- ☆12Updated last year
- Lean type-checker written in Scala.☆35Updated 3 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Jupyter notebook for the Lean4 programming language☆24Updated 2 years ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- Ground Zero: Lean 4 HoTT Library☆56Updated 3 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago