anzen-lang / anzenLinks
The Anzen programming language.
☆20Updated 5 years ago
Alternatives and similar repositories for anzen
Users that are interested in anzen are comparing it to the libraries listed below
Sorting:
- The Vist programming language☆15Updated 8 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- RFCs for changes to Pony☆62Updated 5 months ago
- Compiler for Swiftlet☆36Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Compiler and tools for the L programming language☆72Updated last year
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Charity Programming Language☆40Updated 10 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Plasma Programming Language☆166Updated 2 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- Self-hosting compiler for the Grace programming language☆40Updated last year
- minimalist pure lazy functional programming language (pythonic haskell)☆78Updated 3 months ago
- The Slate programming language☆147Updated last year
- 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
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 7 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- ☆71Updated 5 years ago
- Editor for language composition☆58Updated 2 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- The Higher-Order Intermediate Representation☆155Updated 2 weeks ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year