Alternatives and similar repositories for alef:

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

• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 5 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 8 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 5 months ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• ekmett / scheme-monads
  minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
  ☆18Updated 11 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year
• racket / slideshow
  ☆34Updated this week
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 11 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆27Updated 3 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago
• tibbe / event
  A Haskell event notification library
  ☆46Updated 14 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 5 years ago
• nomeata / ghc-heap-view
  Extract the heap representation of Haskell values and thunks
  ☆50Updated last year
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated last year
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago