Alternatives and similar repositories for libshift0:

Users that are interested in libshift0 are comparing it to the libraries listed below

• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆75Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last month
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆129Updated last week
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 3 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated 2 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆42Updated 4 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• andyfischer / circa
  A programming language for live coding
  ☆162Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago