tilk / libshift0
Implementation of delimited control for C/C++
☆26Updated 13 years ago
Alternatives and similar repositories for libshift0:
Users that are interested in libshift0 are comparing it to the libraries listed below
- My Own Linear Lisp☆38Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆116Updated last year
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated this week
- Racket port of the nanopass-framework☆34Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Scheme on SECD☆43Updated 4 years ago
- ☆19Updated 3 years ago
- ☆44Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- staged relational interpreters: running with holes, faster☆127Updated 3 months ago
- Bindings for llvm in racket☆65Updated 9 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆195Updated 4 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- mark/sweep garbage collector for C☆28Updated 12 years ago
- ☆78Updated 5 years ago
- Collapsing Towers of Interpreters☆87Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- A Lisp-like language implemented in C++☆75Updated 2 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- The Slate programming language☆145Updated last year