tilk / libshift0

Related projects ⓘ

Alternatives and complementary repositories for libshift0

• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• vito / hummus
  A dialect of the Kernel programming language.
  ☆26Updated 13 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆111Updated 11 months ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆24Updated last year
• noelwelsh / assembler
  IA32 assembler in PLT Scheme
  ☆31Updated 14 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• manuel / virtua
  Lisp interpreter with fexprs written in JavaScript
  ☆9Updated 8 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆74Updated last year
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 7 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 9 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆66Updated 10 years ago
• leftmike / foment
  Foment is an implementation of R7RS Scheme.
  ☆67Updated 2 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 9 years ago
• briantrice / slate-language
  The Slate programming language
  ☆145Updated last year
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆77Updated 11 years ago
• mikea / scheme-llvm
  ☆44Updated 7 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• lwhjp / racket-asm
  ☆18Updated 3 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago