Code prepared for my talk at Strange Loop 2014
☆14Sep 26, 2014Updated 12 years ago
Alternatives and similar repositories for game-talk-code
Users that are interested in game-talk-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 10 years ago
- Nintendo™ Game Boy™ emulator written in Rust☆16Jun 6, 2022Updated 4 years ago
- Cursor data and manipulation☆22Jun 3, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 9 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 6 years ago
- ☆15Jan 26, 2018Updated 8 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 11 years ago
- Flappy Bird Haskell Implementation☆33Feb 15, 2018Updated 8 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Python based double entendre classifier☆21Mar 25, 2021Updated 5 years ago
- A Haskell implementation of Peter Norvig's spelling corrector☆15Jun 5, 2015Updated 11 years ago
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Convert between pointfree and pointful Haskell expressions.☆49May 27, 2016Updated 10 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated 2 years ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 3 years ago
- Tweets randomly generated emoji aquarium strings, runnable in AWS Lambda. 🐠🐟🐡☆11Dec 28, 2018Updated 7 years ago
- ☆10Jun 9, 2021Updated 5 years ago
- Introduction to AWS Lambda☆22Mar 5, 2017Updated 9 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- Monad morphisms☆54Mar 29, 2026Updated 6 months ago
- ☆10Sep 7, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- automating the zig release process☆12Nov 19, 2025Updated 10 months ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- ☆10Dec 22, 2017Updated 8 years ago
- Write GMail filters and output to importable XML☆13Mar 31, 2016Updated 10 years ago
- Contravariant functors☆12Updated this week
- Type definitions and low level interface implementations for the W3C WebSocket API☆12Oct 10, 2026Updated last week
- Try Idris☆34Sep 7, 2015Updated 11 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Dec 6, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A hackage-overlay with patched packages for mobile use.☆17Jan 8, 2019Updated 7 years ago
- 🏎️ Animation for sprites☆11Oct 29, 2019Updated 6 years ago
- make AWS API Gateway calls using python's requests library☆11Aug 6, 2022Updated 4 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- An Alexa skill to interact with Toggl☆10May 30, 2021Updated 5 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44May 31, 2022Updated 4 years ago