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
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- A monadic IO interface in Rust☆78Updated 9 years ago
- cargo +nightly build☆34Updated 6 years ago
- ATS programing on Arduino☆57Updated 9 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 6 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 7 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- the ill programming language & interpreter☆13Updated 7 years ago
- Erlang source code parser written in Rust☆10Updated 4 years ago
- Barely functional imageboard☆11Updated 9 years ago
- Polymorphic guarded λ-calculus☆20Updated 3 months ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 6 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- It's terminal.☆134Updated 7 years ago
- 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
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 5 years ago
- Shell.☆14Updated 8 years ago
- A Scheme embedded in Rust, like Lua in C.☆62Updated 7 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- OCaml IRC client library☆52Updated 2 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- ☆16Updated 10 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A meta-language for OCaml. (Unreleased)☆25Updated last month
- Generate NetHack configurations using Dhall☆36Updated 4 years ago