Alternatives and similar repositories for rail:

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

• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated last month
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated last month
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last month
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆20Updated 2 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆27Updated this week
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• norm2782 / NanoProlog
  ☆17Updated last year
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• jwiegley / logging
  ☆15Updated 2 years ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 9 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 weeks ago
• mniip / finite-typelits
  A type inhabited by finitely many values, indexed by type-level naturals.
  ☆11Updated 6 months ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• soupi / sdl2-snake
  An example application for sdl2.
  ☆26Updated 3 years ago
• phase / dtt
  dependent type theory experiment
  ☆25Updated 11 months ago