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
- Get those pesky braces out of your face☆49Updated 8 years ago
- Learning Haskell☆50Updated 10 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- It's kinda like a forum.☆115Updated 4 years ago
- Interactive factorization diagrams☆31Updated 2 years ago
- A pager for grep☆106Updated 4 years ago
- A CHIP-8 Emulator written in Haskell☆37Updated 8 years ago
- evaluation using f-algebras☆23Updated 10 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- A lambda calculus interpreter. GET IT?☆81Updated 4 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- A walk-through of Real World Haskell 10th Chapter☆17Updated 10 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- Polyglots☆83Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- A simple, flexible and composable web-router☆85Updated 6 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Updated 8 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated last week
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Visualize and inspect custom algorithms with time travelling☆13Updated 6 years ago