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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- ☆31Updated 2 months ago
- quick c☆35Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- High-end Cryptographic Library☆44Updated 5 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- Compiler and tools for the L programming language☆72Updated 10 months ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Editor for language composition☆58Updated 2 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 12 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- the Meta-II VM in C☆19Updated 9 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
- The Encore compiler.☆43Updated 5 years ago
- Bottom Up Rewrite Generator☆25Updated 7 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- SML Parser Combinator Library☆27Updated 8 years ago