Code for "Make you a roguelike in Haskell for greater good" youtube series
☆16May 20, 2020Updated 6 years ago
Alternatives and similar repositories for helda
Users that are interested in helda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- Building Haskell apps on mobile devices (Android/iOS)☆25Oct 28, 2015Updated 10 years ago
- Cursor data and manipulation☆22Jun 3, 2026Updated 4 months ago
- self-contained Haskell examples to exercise my newly obtained functional coding skills☆10Mar 11, 2023Updated 3 years ago
- Small OpenGL Shaders example using FreePascal Compiler☆14Apr 8, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell OpenGL based 3d engine.☆15Apr 12, 2009Updated 17 years ago
- Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell☆33Jun 17, 2019Updated 7 years ago
- Mappings for PostgreSQL types☆31Jul 31, 2026Updated 2 months ago
- ☆16May 10, 2018Updated 8 years ago
- Create multi level navigation in elm easily.☆13Oct 3, 2018Updated 8 years ago
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- Scoring for free flight competitions.☆13Mar 7, 2024Updated 2 years ago
- Enforce HTTPS in Wai server app safely.☆13Nov 1, 2021Updated 4 years ago
- This repository is archived; the examples contained here should be considered outdated. Please do not use them in production. The reposit…☆12May 18, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Fixed- and floating-point Kalman filters for resource-constrained environments, written in Rust.☆21Apr 25, 2026Updated 5 months ago
- Porting of fast.ai python notebooks classes for Google Colab platform☆16Jan 16, 2019Updated 7 years ago
- Servant authentication with HMAC☆16Dec 2, 2025Updated 10 months ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- Beteckna is an open source geometrical and humanist sans serif typeface family☆26Mar 16, 2017Updated 9 years ago
- Browsing man pages and help pages with zero friction.☆36Nov 25, 2018Updated 7 years ago
- Lua implemented in Mercury☆15May 5, 2026Updated 5 months ago
- Backlight controller for Linux systems☆16Feb 13, 2020Updated 6 years ago
- Just a Haskell wrapper for OpenAI API calls☆11Mar 2, 2023Updated 3 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.
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- The Restyled CLI☆42Sep 18, 2026Updated 3 weeks ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- ☆12Jan 2, 2026Updated 9 months ago
- ☆12Aug 12, 2019Updated 7 years ago
- :fork command for ghci☆20Jan 7, 2019Updated 7 years ago
- common language and mathematics processing algorithms, in Rust☆30Mar 25, 2024Updated 2 years ago
- A port of 2048 using Haskell and Miso☆15Feb 7, 2018Updated 8 years ago
- Repository for cutout animation characters setup in Godot Engine☆15Jun 8, 2018Updated 8 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.
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 3 years ago
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- FlashCard open source website https://izidict.com☆29Jan 9, 2019Updated 7 years ago
- intelligently swap keys in emacs evil-mode☆21Jun 24, 2026Updated 3 months ago
- A client for the SendGrid transactional email API☆15Apr 19, 2026Updated 5 months ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 10 years ago
- Animation Framework☆13Aug 3, 2019Updated 7 years ago