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
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- It's kinda like a forum.☆115Updated 4 years ago
- Interactive factorization diagrams☆31Updated 2 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- Learning Haskell☆50Updated 9 years ago
- An IRC analysis server.☆81Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- ☆55Updated 8 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A pager for grep☆106Updated 4 years ago
- evaluation using f-algebras☆23Updated 10 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆147Updated 7 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- A CLI in haskell to quickly move through the filesystem☆110Updated 6 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Amœba is a distributed network.☆18Updated 11 years ago