Alternatives and similar repositories for rail

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

• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 11 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated 2 months ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• jwiegley / logging
  ☆16Updated 2 months ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆23Updated 7 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• blamario / incremental-parser
  Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally
  ☆23Updated last month
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated this week
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• birkenfeld / rick
  INTERCAL interpreter/compiler
  ☆26Updated 3 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated last month
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 7 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• soupi / sdl2-snake
  An example application for sdl2.
  ☆26Updated 3 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• ghc / nofib
  Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆13Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• dreixel / generic-deriving
  ☆44Updated 3 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago