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☆101Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Interactive factorization diagrams☆31Updated last year
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- It's kinda like a forum.☆114Updated 4 years ago
- A pager for grep☆105Updated 3 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- A CHIP-8 Emulator written in Haskell☆37Updated 7 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- evaluation using f-algebras☆23Updated 10 years ago
- Learning Haskell☆50Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Simple lambda prover☆24Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 4 months ago
- Ragged writings on all things☆15Updated 3 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- ☆21Updated 5 years ago
- An example of PEG usage☆55Updated 9 years ago