anzen-lang / anzen
The Anzen programming language.
☆20Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for anzen
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆62Updated 3 years ago
- Compiler for Swiftlet☆34Updated 6 months ago
- The Vist programming language☆16Updated 7 years ago
- A Swift library to write parsers for domain specific languages.☆13Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Charity Programming Language☆38Updated 9 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- αProlog☆17Updated last year
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated last year
- source code for the bondi programming language☆38Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- SML Parser Combinator Library☆27Updated 8 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- Modernized Sisal Interpreter☆27Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆22Updated this week
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- ☆34Updated 4 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 4 months ago
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago