xanadu-lang / xanadu
This repository is supposed to hold a released version of Xanadu
☆22Updated 3 years ago
Related projects: ⓘ
- An interpreter for the D3-level syntax of ATS3/Xanadu☆10Updated 3 years ago
- For supporting template-based programming☆20Updated 4 years ago
- ☆20Updated this week
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆25Updated this week
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- ☆21Updated 4 years ago
- An extended typed Lambda Calculus☆20Updated last month
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆40Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Collection of ATS goodness☆33Updated 4 years ago
- MixML prototype interpreter☆27Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Haskell User's Gofer System☆22Updated 8 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago