Types for ldtk
☆16Apr 13, 2024Updated 2 years ago
Alternatives and similar repositories for ldtk-types
Users that are interested in ldtk-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated last year
- Static gopherhole generator.☆12May 5, 2025Updated last year
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 4 years ago
- Complete Haskell binding to PCRE2☆16Aug 4, 2026Updated 2 months ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Inspecting tool for GHC compilation pipeline☆35Sep 17, 2025Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated last year
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- A bioinformatics tool for analyzing somatic hypermutation☆20Feb 10, 2024Updated 2 years ago
- risc-v assembly language☆10Nov 10, 2021Updated 4 years ago
- Haskell bindings for the Souffle datalog language☆105May 16, 2024Updated 2 years ago
- ☆15Oct 22, 2023Updated 3 years ago
- Representation and Incremental Processing of RDF Data☆10Nov 28, 2024Updated last year
- Remove outdated compilation artefacts left by cabal v2-build☆11Apr 11, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- Wrap up Haskell tools☆15May 14, 2021Updated 5 years ago
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆17Jan 28, 2026Updated 9 months ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- ☆10Apr 15, 2022Updated 4 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆14Mar 22, 2021Updated 5 years ago
- A Tigerbeetle database client library for Haskell☆13Apr 8, 2026Updated 6 months ago
- Haskell library for parsing v1.0 TOML files☆16Apr 22, 2025Updated last year
- ☆15Dec 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A generic 2D cellular automaton simulator☆25Mar 15, 2021Updated 5 years ago
- Sample code for articles☆14Jul 30, 2018Updated 8 years ago
- https://2mol.github.io/solar-system/☆10Jul 12, 2021Updated 5 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56May 23, 2018Updated 8 years ago
- Treat undo history as a tree☆10May 25, 2024Updated 2 years ago
- Maps using values' monoidal structure during merging☆43Jun 20, 2026Updated 4 months ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 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.
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated 2 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Servant bindings for the Effectful ecosystem☆14Aug 1, 2025Updated last year
- Safe web routing in haskell☆30Apr 25, 2023Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 4 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆69Dec 4, 2023Updated 2 years ago