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
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
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Resource Policy☆18Aug 4, 2022Updated 3 years ago
- Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して☆12Oct 9, 2014Updated 11 years ago
- 関数型プログラミングに関する論文の非公式日本語訳☆25Mar 5, 2015Updated 11 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Lens powered regular expression☆16Feb 21, 2021Updated 5 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- Interactive GCC (igcc) is a read-eval-print loop (REPL) for C/C++ programmers. Cloned from http://www.artificialworlds.net/wiki/IGCC/IGCC☆17Dec 5, 2020Updated 5 years ago
- ☆18Apr 9, 2023Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- doom☆17Mar 8, 2016Updated 9 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 8 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated 3 weeks ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 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…☆21Oct 28, 2019Updated 6 years ago
- ☆24May 22, 2020Updated 5 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Jun 30, 2022Updated 3 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Jan 31, 2016Updated 10 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- String interpolation for Haskell done right!☆32Jun 5, 2020Updated 5 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 5 years ago
- ☆45Jan 3, 2026Updated 2 months ago
- ☆28Jun 26, 2022Updated 3 years ago
- Nico-lang is the programing language of Nico Yazawa☆32Feb 18, 2017Updated 9 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Jul 10, 2020Updated 5 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Jan 6, 2021Updated 5 years ago
- Generic Programming using True Sums of Products☆162Jan 7, 2026Updated last month
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- Wrapper library of libclang for Vim script developers.☆35Jun 26, 2018Updated 7 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- Nvim extension for Visual Studio 2017☆28Sep 5, 2018Updated 7 years ago
- Official blog of Haskell-jp.☆32Dec 7, 2025Updated 2 months ago