Martomate / HexacraftLinks
A game with hexagonal blocks on a cylindrical world inspired by Minecraft
☆14Updated 2 weeks ago
Alternatives and similar repositories for Hexacraft
Users that are interested in Hexacraft are comparing it to the libraries listed below
Sorting:
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Arete is an experimental programming language.☆12Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Accelerated machine learning with dependent types☆95Updated 3 weeks ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Reversible programming in Agda☆12Updated 2 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- A simple dependently typed language based on the Calculus of Constructions.☆17Updated 4 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A talk☆28Updated 4 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆22Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Certified Machine Learning☆41Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- A Haskell probabilistic programming library.☆19Updated last month
- Genetic program repair using GHC☆30Updated last year
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆17Updated 4 years ago
- My Attempt at System Fω with Row-Polymorphism☆30Updated 3 years ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago