athas / diving-beet
A port of Falling Turnip from Haskell to Futhark and Go
☆22Updated 4 months ago
Alternatives and similar repositories for diving-beet:
Users that are interested in diving-beet are comparing it to the libraries listed below
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- various toys in j☆12Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- okami is an application development platform☆35Updated 7 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Lua implemented in Mercury☆14Updated 11 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- falling sand game with regular parallel arrays.☆69Updated 11 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- The Bangra Programming Language (github mirror)☆38Updated 7 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- backup of the joy programming language☆30Updated 9 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- s7 Scheme☆57Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated last year
- purple: compiling a reflective language☆32Updated 5 months ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 4 years ago
- The Om programming language.☆172Updated 5 months ago
- Lambda calculus go brrrr☆28Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- ☆35Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 5 years ago