sharkdp / parachuting-robotsLinks
An interactive version of a classic puzzle
☆81Updated 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
Sorting:
- 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
- Visualize and inspect custom algorithms with time travelling☆13Updated 6 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- MIU from GEB, circa 1980☆16Updated 8 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆69Updated 14 years ago
- Haskell-driven, small-scale web analytics with minimal configuration.☆27Updated 9 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- Learning Haskell☆49Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆49Updated 8 years ago
- It's kinda like a forum.☆114Updated 4 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Polyglots☆82Updated 9 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 6 months ago
- An IRC analysis server.☆81Updated 7 years ago
- An optimal function evaluator written in JavaScript.☆136Updated 7 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- "Podcasts app" for serial webfiction and webcomics.☆18Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A universal interface to multiple unarchiving tools☆71Updated last week
- A CLI in haskell to quickly move through the filesystem☆109Updated 6 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Programming Language meets UI☆51Updated 7 years ago
- A CHIP-8 Emulator written in Haskell☆37Updated 7 years ago