☆32Aug 26, 2026Updated 2 months ago
Alternatives and similar repositories for ical
Users that are interested in ical are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Declarative feedback loop manager☆68Jun 1, 2026Updated 5 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- First Class Record Fields in Haskell☆18Jun 11, 2026Updated 4 months ago
- ☆15Dec 20, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆18Aug 13, 2026Updated 2 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆133Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- OpenAPI 3.0 for Servant☆44May 18, 2025Updated last year
- ☆99Nov 16, 2021Updated 4 years ago
- PostgreSQL Schema Migrations for Haskell☆18Jan 11, 2026Updated 9 months ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆29Dec 29, 2023Updated 2 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.
- Parse and render URI templates.☆17Oct 2, 2026Updated last month
- ☆25Mar 2, 2026Updated 8 months ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated last year
- Koans to learn rhine☆16Updated this week
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- A simple demonstration of the Agda Reflection API☆12Apr 3, 2012Updated 14 years ago
- Automatically import Haskell modules.☆24Oct 2, 2026Updated last month
- Github action for setting up haskell stack☆23Mar 17, 2024Updated 2 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆58Jun 30, 2026Updated 4 months ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 3 months ago
- ZuriHac registration system☆24Jun 11, 2026Updated 4 months ago
- OpenTelemetry support for the Haskell programming language☆116Updated this week
- LLVM code generation in Haskell☆55Oct 30, 2024Updated 2 years ago
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 4 years ago
- ☆15Oct 25, 2025Updated last year
- Libraries we use at NoRedInk☆77Oct 1, 2026Updated last month
- 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 bindings for the Slack web API☆38Oct 20, 2026Updated last week
- A minimal git pre-commit hook runner☆29Oct 2, 2026Updated last month
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆16Aug 17, 2026Updated 2 months ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 6 years ago
- A collection of Haskell's WATs☆95Jan 22, 2025Updated last year