xanadu-lang / xinterp
An interpreter for the D3-level syntax of ATS3/Xanadu
☆11Updated 3 years ago
Alternatives and similar repositories for xinterp:
Users that are interested in xinterp are comparing it to the libraries listed below
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- For supporting template-based programming☆21Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- The MLtonLibrary repository☆36Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 10 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆35Updated 8 years ago
- A parsing combinator library.☆10Updated 8 years ago
- Matita (proof assistant) with embedded elpi☆12Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Book: ATS programming foundations☆9Updated 9 years ago
- Dafny for Metatheory of Programming Languages☆25Updated 2 months ago
- ☆17Updated 5 years ago
- ☆21Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago