barak / stalin

Related projects ⓘ

Alternatives and complementary repositories for stalin

• akeep / scheme-to-c
  A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
  ☆352Updated 3 years ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆355Updated 3 months ago
• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆258Updated 2 weeks ago
• ecraven / r7rs-benchmarks
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆275Updated 3 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆181Updated 10 months ago
• eudoxia0 / interim
  Low-level Lisp with compile-time memory management
  ☆270Updated 6 years ago
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆407Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆307Updated 10 years ago
• larcenists / larceny
  Larceny Scheme implementation
  ☆203Updated 7 years ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆140Updated this week
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆351Updated 6 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated last year
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆490Updated 2 years ago
• justinethier / cyclone
  A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…
  ☆826Updated last month
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆160Updated 7 years ago
• eudoxia0 / corvus
  Low-level Lisp for LLVM
  ☆501Updated 8 years ago
• racket / racket7
  ☆169Updated 6 years ago
• yuriy-chumak / ol
  Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
  ☆223Updated this week
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• picrin-scheme / picrin
  lightweight scheme interpreter
  ☆416Updated 7 months ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆144Updated last year
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆150Updated last year
• wolfgangj / bone-lisp
  The Bone Lisp programming language
  ☆325Updated 4 years ago
• eudoxia0 / cmacro
  Lisp macros for C
  ☆885Updated 9 months ago
• MLton / mlton
  The MLton repository
  ☆958Updated 2 weeks ago
• alaricsp / chicken-scheme
  CHICKEN is a compiler for the Scheme programming language. CHICKEN produces portable, efficient C, supports almost all of the current Sch…
  ☆129Updated 15 years ago
• ijp / pfds
  functional data structures for scheme
  ☆133Updated 5 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆306Updated 2 years ago
• polyml / polyml
  Poly/ML
  ☆489Updated 3 months ago