sharkdp / parachuting-robots
An interactive version of a classic puzzle
☆80Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for parachuting-robots
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- It's kinda like a forum.☆115Updated 3 years ago
- Learning Haskell☆49Updated 8 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- Visualize and inspect custom algorithms with time travelling☆13Updated 5 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 4 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- A Minesweeper clone with infinite grid written in Haskell.☆33Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆93Updated 2 weeks ago
- An infinite runner in your terminal☆104Updated 4 years ago
- ☆99Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- Can I wear shorts today?☆8Updated 7 years ago
- An IRC analysis server.☆81Updated 6 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- A haskell implementation of todoMVC☆26Updated 7 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆69Updated 8 years ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- ALGT 2.0☆30Updated 4 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A CLI in haskell to quickly move through the filesystem☆109Updated 5 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 7 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆16Updated 9 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago