klapaucius / fphistoryru
☆13Updated 3 weeks ago
Alternatives and similar repositories for fphistoryru:
Users that are interested in fphistoryru are comparing it to the libraries listed below
- ☆35Updated last year
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆24Updated last week
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆17Updated last month
- ☆34Updated 3 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- WIP: A modern step-through debugger for GHC Haskell☆18Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Automatically generate Haskell bindings from C header files☆43Updated this week
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Library to support efficient compilation of large records (linear in the number of record fields)☆46Updated last month
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- coverage driven random testing framework☆23Updated 5 months ago
- 👅 Parse Haskell Language Extensions☆48Updated 4 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated last month
- First-class type families☆87Updated 8 months ago
- ☆25Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- GHC plugin for automatic case splitting☆16Updated 2 weeks ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 weeks ago
- GRIN backend for Idris2☆34Updated 2 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- ☆35Updated 3 months ago