ix / pretty-lsLinks
Rust ls clone with pretty colors.
☆11Updated 8 years ago
Alternatives and similar repositories for pretty-ls
Users that are interested in pretty-ls are comparing it to the libraries listed below
Sorting:
- A toy operating system written in Rust.☆19Updated 8 years ago
- Utility to automate downloads of torrent series☆12Updated last week
- Polymorphic guarded λ-calculus☆13Updated 6 months ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- OCaml IRC client library☆51Updated last year
- A meta-language for OCaml. (Unreleased)☆25Updated 6 months ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 6 years ago
- ☆23Updated 9 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- cargo +nightly build☆34Updated 5 years ago
- the ill programming language & interpreter☆13Updated 6 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- bbs written in Ur/Web☆13Updated 9 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A simple static website generator, written in OCaml☆23Updated 3 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- A *booru written in Rust w/ Iron☆16Updated 8 years ago
- 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
- Get those pesky braces out of your face☆49Updated 7 years ago
- Idris Version Manager☆16Updated 3 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- A functional programming language designed for concurrency and failure☆44Updated 2 years ago
- Barely functional imageboard☆11Updated 8 years ago
- Gameboy Emulator writtten in Rust☆11Updated 9 years ago