jzwood / portcullisLinks
A minimalist / functional / dataflow programming language
☆13Updated last year
Alternatives and similar repositories for portcullis
Users that are interested in portcullis are comparing it to the libraries listed below
Sorting:
- Changes and Pinafore projects. Pull requests not accepted.☆34Updated last month
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- a self-hosting lambda calculus compiler☆36Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆43Updated 6 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 10 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆34Updated last month
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated 2 years ago
- A high-level programming language☆39Updated 5 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- ☆53Updated last month
- Your happy place for learning APL☆16Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A tiny lazy objective functional language☆17Updated 10 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- The Stroscot Programming Language☆13Updated last year
- A toy dependent typed language.☆30Updated this week
- ☆26Updated last year
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- maps are everything.☆10Updated last week
- McLulang: The message is the language☆11Updated 10 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago