sharkdp / parachuting-robots
An interactive version of a classic puzzle
☆80Updated 7 years ago
Alternatives and similar repositories for parachuting-robots:
Users that are interested in parachuting-robots are comparing it to the libraries listed below
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Visualize and inspect custom algorithms with time travelling☆13Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Learning Haskell☆49Updated 9 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- A walk-through of Real World Haskell 10th Chapter☆17Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Simple lambda prover☆24Updated 9 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 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
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A haskell implementation of todoMVC☆26Updated 7 years ago
- A pager for grep☆104Updated 3 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A CHIP-8 Emulator written in Haskell☆38Updated 7 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- writing on haskell☆33Updated 8 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- Can I wear shorts today?☆8Updated 8 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 5 months ago
- MIU from GEB, circa 1980☆16Updated 8 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.☆17Updated 6 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago