athas / diving-beetLinks
A port of Falling Turnip from Haskell to Futhark and Go
☆23Updated last year
Alternatives and similar repositories for diving-beet
Users that are interested in diving-beet are comparing it to the libraries listed below
Sorting:
- Falling sand game in cellular automata style.☆69Updated 12 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago
- The Om programming language.☆174Updated last year
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- High-end Cryptographic Library☆44Updated 6 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 12 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- minikanren mips assembler/disassembler☆34Updated 10 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Apple array system☆69Updated last month
- A typed, polyglot, functional language☆211Updated this week
- Forth clone in Haskell☆33Updated 8 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- syn·di·cate: a language for interactive programs☆159Updated last month
- The Omni Programming Language☆34Updated 8 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago