Alternatives and similar repositories for alef:

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

• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• racket / slideshow
  ☆36Updated last week
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• ekmett / scheme-monads
  minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
  ☆18Updated 12 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 8 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆45Updated 12 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• racket / algol60
  ☆12Updated last month
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• ekmett / keep
  playing with resumable computations
  ☆13Updated 5 years ago
• racket / parser-tools
  ☆14Updated last month
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆25Updated 9 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago