Regular expression matching of Haskell types
☆13Apr 2, 2016Updated 9 years ago
Alternatives and similar repositories for regex-type
Users that are interested in regex-type are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- 関数型プログラミングに関する論文の非公式日本語訳☆25Mar 5, 2015Updated 11 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 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.
- doom☆17Mar 8, 2016Updated 10 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- ☆24May 22, 2020Updated 5 years ago
- Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して☆12Oct 9, 2014Updated 11 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- ☆18Apr 9, 2023Updated 2 years ago
- Lens powered regular expression☆16Feb 21, 2021Updated 5 years ago
- 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years 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
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Jan 31, 2016Updated 10 years ago
- Automatic piecewise-mutable references for your types☆42Jul 10, 2020Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Complete Haskell bindings for DigitalOcean API V2☆10Oct 28, 2018Updated 7 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- Generic Programming using True Sums of Products☆163Jan 7, 2026Updated 2 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Foundation for building semantically meaningful themes over emacs☆14Jan 28, 2026Updated last month
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 8 months ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated last month
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 6 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 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.
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- ☆11May 3, 2020Updated 5 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Jan 6, 2021Updated 5 years ago
- Provides a conduit based interface to uploading data to S3 using the Multipart API☆20Jun 10, 2024Updated last year
- Official blog of Haskell-jp.☆32Dec 7, 2025Updated 3 months ago
- Ruby Wrapper for Hurriyet API - http://developers.hurriyet.com.tr/☆12May 1, 2017Updated 8 years ago