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
- A functional programming language designed for concurrency and failure☆44Updated 2 years ago
- the ill programming language & interpreter☆13Updated 6 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- cargo +nightly build☆34Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Polymorphic guarded λ-calculus☆17Updated this week
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- ☆16Updated 10 years ago
- Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)☆57Updated 9 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- Shell.☆14Updated 8 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- bbs written in Ur/Web☆13Updated 9 years ago
- Dynamic Rust WM, inspired by wtftw and spectrwm.☆24Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- ATS programing on Arduino☆57Updated 9 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 6 years ago