Alternatives and similar repositories for rail

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

• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 5 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 7 months ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• bgavran / DependentOpticsIdris2
  ☆11Updated last year
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated this week
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆29Updated last month
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• jwiegley / logging
  ☆16Updated 10 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last year
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 6 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 8 months ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆23Updated 3 months ago
• yesodweb / css-text
  CSS parser and renderer.
  ☆16Updated 5 years ago
• ixy-languages / ixy.hs
  ☆17Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 6 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆31Updated 11 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 3 years ago
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 7 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆24Updated 8 months ago
• evuez / slate
  Take notes from you terminal.
  ☆14Updated 3 years ago