Alternatives and similar repositories for rail:

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

• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 10 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 4 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated this week
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆20Updated 2 years ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• tsoding / louis
  Small library for braillizing images
  ☆18Updated 5 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 10 months ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆27Updated 8 months ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 3 months ago
• jneem / ojo
  ☆33Updated 2 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 6 years ago