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
- ☆16Updated 6 years ago
- ☆31Updated 2 months ago
- quick c☆35Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Compiler and tools for the L programming language☆72Updated 10 months ago
- A high-level programming language☆39Updated last month
- LVC verified compiler☆57Updated 6 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆77Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 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
- Charity Programming Language☆39Updated 9 years ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 13 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- OCaml bytecode to C compiler☆99Updated 4 years ago