parsifal-47 / sisal-is
Modernized Sisal Interpreter
☆28Updated 6 years ago
Alternatives and similar repositories for sisal-is:
Users that are interested in sisal-is are comparing it to the libraries listed below
- My Own Linear Lisp☆40Updated 6 years ago
- Editor for language composition☆58Updated 2 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A proof assistant.☆12Updated 9 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- ☆54Updated 8 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- Scheme on SECD☆42Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- The LVish Haskell library☆80Updated 2 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆31Updated 3 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Compiler and tools for the L programming language☆72Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- ☆16Updated 7 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- quick c☆35Updated 3 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A programming language☆77Updated 11 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated last year