Alternatives and similar repositories for pretty-ls

Users that are interested in pretty-ls are comparing it to the libraries listed below

• 64u / alchemy
  A toy operating system written in Rust.
  ☆19Updated 8 years ago
• steinuil / nene
  Utility to automate downloads of torrent series
  ☆12Updated last week
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 6 months ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• johnelse / ocaml-irc-client
  OCaml IRC client library
  ☆51Updated last year
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 6 months ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆24Updated 8 years ago
• kprotty / lazer
  A programming language focused on concurrency and low memory usage
  ☆12Updated 6 years ago
• Fedjmike / tush
  ☆23Updated 9 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• haze / pill
  the ill programming language & interpreter
  ☆13Updated 6 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• tca / urchan
  bbs written in Ur/Web
  ☆13Updated 9 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆23Updated 3 years ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆79Updated 8 years ago
• koto-bank / zeph
  A *booru written in Rust w/ Iron
  ☆16Updated 8 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 3 months ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• mdg / leema
  A functional programming language designed for concurrency and failure
  ☆44Updated 2 years ago
• steinuil / negoto-old-and-busted
  Barely functional imageboard
  ☆11Updated 8 years ago
• tjpeden / rustboy
  Gameboy Emulator writtten in Rust
  ☆11Updated 9 years ago