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
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Visualize and inspect custom algorithms with time travelling☆13Updated 6 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- An IRC analysis server.☆81Updated 6 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- a multi-syntax language☆135Updated 8 years ago
- Interactive factorization diagrams☆30Updated last year
- Get those pesky braces out of your face☆49Updated 7 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- ☆55Updated 7 years ago
- Process lists easily☆144Updated 8 years ago
- Learning Haskell☆49Updated 9 years ago
- It's kinda like a forum.☆115Updated 4 years ago
- A pager for grep☆104Updated 3 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 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 haskell implementation of todoMVC☆26Updated 7 years ago
- Haskell-driven, small-scale web analytics with minimal configuration.☆27Updated 8 years ago
- ☆97Updated 7 years ago
- ☆234Updated 10 years ago
- An optimal function evaluator written in JavaScript.☆132Updated 7 years ago
- A Markov model and chain generator for creating random Java symbols☆71Updated 10 years ago