Martomate / HexacraftLinks
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆14Updated this week
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☆101Updated last week
- A toolkit for enforcing logical specifications on neural networks☆121Updated this week
- Certified Machine Learning☆41Updated 4 years ago
- A Haskell probabilistic programming library.☆21Updated 3 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- ☆25Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Deep learning via category theory and functional programming☆151Updated 5 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Updated 3 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Lean4 bindings for raylib☆21Updated 6 months ago
- ☆24Updated 3 years ago
- ☆22Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Very controlled natural language tactics for Lean☆66Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated 2 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 3 years ago
- A (formalised) general definition of type theories☆59Updated 4 years ago
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- Reversible programming in Agda☆13Updated 2 years ago
- ☆11Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- maze game encoded in Lean 4 syntax☆67Updated 6 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Updated 5 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- source code for the bondi programming language☆44Updated 6 years 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
- ☆51Updated last year
- ☆46Updated 4 months ago