chrisdone-archive / zLinks
A strict, impure, curried, partially applied programming language with rather peculiar syntax.
☆281Updated 11 years ago
Alternatives and similar repositories for z
Users that are interested in z are comparing it to the libraries listed below
Sorting:
- ☆79Updated 6 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A less devious proof assistant☆224Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- ☆137Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆158Updated 2 years ago
- A collection of core libraries for Racket☆86Updated 4 months ago
- An interpreter for a J-inspired language☆91Updated last year
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated 2 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last month
- The Om programming language.☆173Updated 7 months ago
- Collapsing Towers of Interpreters☆91Updated last year
- A terse declarative logic programming language☆118Updated 4 years ago
- Plasma Programming Language☆166Updated last month
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- A small compiler for PCF☆124Updated 4 years ago
- Compiler for the Mirth programming language.☆466Updated 2 weeks ago
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- Dependent type checker using normalisation by evaluation☆260Updated 9 months ago
- A Racket package for creating and composing pure functional lenses☆76Updated 5 years ago
- The adventures of a Haskell compiler☆225Updated 3 weeks ago