lambertjamesd / zen-lang
An experimental language with compile time bounds checking
☆15Updated 5 years ago
Alternatives and similar repositories for zen-lang:
Users that are interested in zen-lang are comparing it to the libraries listed below
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- quick c☆35Updated 3 years ago
- ☆27Updated last year
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- ☆17Updated 5 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A mini language for logic programming☆24Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- a self-hosting lambda calculus compiler☆35Updated last week
- A small Lisp dialect that serves me as a test bed for programming language features.☆14Updated 6 months ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- a Lispy Forth in C++☆26Updated 6 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- A type-safe, stack-based functional programming language☆16Updated last month
- A toy programming language.☆39Updated last year
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆29Updated this week
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Freeputer ( ) [ ] { } forever free☆39Updated 6 years ago