C4Cypher / Apollo-lander
Lua implemented in Mercury
☆14Updated last year
Alternatives and similar repositories for Apollo-lander:
Users that are interested in Apollo-lander are comparing it to the libraries listed below
- A Mercury JSON library.☆21Updated 3 weeks ago
- A Mercury CSV library.☆12Updated 2 weeks ago
- Your happy place for learning APL☆16Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 months ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 5 months ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- ☆21Updated 9 years ago
- a self-hosting lambda calculus compiler☆35Updated 3 years ago
- The Stroscot Programming Language☆13Updated last year
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Pawns functional/imperative programming language compiler etc☆9Updated 3 months ago
- ☆21Updated 5 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago