mb64 / sel

Related projects: ⓘ

• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆58Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated last year
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆70Updated 4 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated last year
• hellerve / cspfuck
  Brainfuck with Actors
  ☆35Updated 5 years ago
• mflatt / zuo
  ☆40Updated 4 months ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆120Updated this week
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆47Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• graydon / exhaustigen
  ☆10Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆38Updated 6 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated last year
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆39Updated 7 months ago
• rain-1 / continuations-study-group
  ☆76Updated 5 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆58Updated 15 years ago
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆79Updated 3 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆65Updated last week
• dobesv / charity
  Charity Programming Language
  ☆37Updated 9 years ago