☆18Jul 1, 2017Updated 8 years ago
Alternatives and similar repositories for HaskellTrainReservationKata
Users that are interested in HaskellTrainReservationKata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- A Variant that functions like Either but is extensible☆19Sep 11, 2021Updated 4 years ago
- General purpose bi-directional codecs☆15Oct 20, 2023Updated 2 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- Google Protocol Buffers for PureScript☆56Mar 12, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- Fullstack application sample made with SAFE stack☆10Dec 11, 2022Updated 3 years ago
- [Talk] How to look like a statistician: a developer's guide to probabilistic programming☆10Sep 18, 2018Updated 7 years ago
- type-level errors for Servant APIs.☆75Jun 27, 2023Updated 2 years ago
- Extending Return with Lenses to do fun things in the Elm update function☆13Oct 28, 2017Updated 8 years ago
- Redux Bindings for PureScript☆36Feb 27, 2019Updated 7 years ago
- A Symfony Bundle offering functionality related to message queuing systems☆14Dec 20, 2020Updated 5 years ago
- functional tools implementation in PHP☆15Mar 17, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Applicative-style validation☆45Apr 27, 2022Updated 4 years ago
- ☆28Oct 28, 2016Updated 9 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- ☆10Sep 29, 2017Updated 8 years ago
- Sound for all!☆14Mar 22, 2021Updated 5 years ago
- Math Projects in Processing☆17Jun 5, 2019Updated 7 years ago
- Starter kit for VueJS + VueX + Typescript + Webpack + Daptin + MySQL + DockerCompose☆14Mar 2, 2018Updated 8 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- Learn elm faster and in a fun way☆48Oct 17, 2019Updated 6 years ago
- Basic assertions library for low level testing☆16Apr 27, 2022Updated 4 years ago
- Connect IQ Apps by Black Dog IQ☆15Apr 13, 2015Updated 11 years ago
- A parsing library specialized to handling strings☆45Sep 10, 2022Updated 3 years ago
- A syntax tidy-upper for PureScript.☆101Oct 13, 2025Updated 8 months ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 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.
- ☆12Sep 12, 2017Updated 8 years ago
- A generic non-empty data structure☆17Apr 27, 2022Updated 4 years ago
- A docker-compose file to set up a full DDB Cluster☆12Sep 29, 2017Updated 8 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Curated list of templates for Template.☆18Mar 2, 2024Updated 2 years ago
- ☆22Sep 26, 2016Updated 9 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Feb 4, 2021Updated 5 years ago