sharkdp / parachuting-robotsLinks
An interactive version of a classic puzzle
☆83Updated 8 years ago
Alternatives and similar repositories for parachuting-robots
Users that are interested in parachuting-robots are comparing it to the libraries listed below
Sorting:
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Learning Haskell☆50Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Interactive factorization diagrams☆31Updated 2 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- A pager for grep☆106Updated 4 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Know your algorithms cold!☆29Updated 10 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- It's kinda like a forum.☆116Updated 4 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆148Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- A CLI in haskell to quickly move through the filesystem☆110Updated 6 years ago
- evaluation using f-algebras☆23Updated 10 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆183Updated 6 years ago
- Tool to determine relevant parts of binary data☆44Updated 8 years ago
- Programming Language meets UI☆51Updated 8 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A CHIP-8 Emulator written in Haskell☆37Updated 8 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- MIU from GEB, circa 1980☆16Updated 8 years ago
- Polyglots☆83Updated 10 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 9 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago