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:
- Dependently-typed language with Iverson-style implicit lifting☆122Updated 5 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated 2 years ago
- ☆79Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- An interpreter for a J-inspired language☆91Updated last year
- The Om programming language.☆173Updated 8 months ago
- A terse declarative logic programming language☆118Updated 4 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- nanopass compiler framework for Racket☆190Updated last year
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆118Updated 7 years ago
- ☆137Updated 3 years ago
- Plasma Programming Language☆166Updated 2 months ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Compiler for the Mirth programming language.☆471Updated last month
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 2 years ago
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- The future of programming.☆69Updated 4 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A collection of core libraries for Racket☆86Updated 4 months ago
- Haskell + Lisp☆210Updated last year
- An ML-like functional programming language☆334Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A minimal proof language.☆206Updated 6 years ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Nanopass for OCaml☆146Updated 7 years ago
- Apple array system☆66Updated last week