Martomate / Hexacraft
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆13Updated last week
Alternatives and similar repositories for Hexacraft
Users that are interested in Hexacraft are comparing it to the libraries listed below
Sorting:
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Accelerated machine learning with dependent types☆95Updated this week
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- ☆21Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Arete is an experimental programming language.☆12Updated last year
- ☆14Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- A verified tensor library in Lean☆23Updated last week
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Pedagogical first-order prover in Python☆75Updated this week
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Formal grammars in Lean 3☆8Updated last year
- Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science☆9Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- A Scala library for controlling/interacting with Isabelle☆40Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- ☆13Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆93Updated this week
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated last year
- ☆21Updated 4 years ago