jecaro / diverk
An Android app to browse GitHub repositories
☆11Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for diverk
- GHC plugin for open telemetry☆24Updated 3 weeks ago
- Haskus packages☆24Updated 2 weeks ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆24Updated last year
- A GitHub action for publishing packages on Hackage☆28Updated 10 months ago
- ☆35Updated 2 weeks ago
- ☆35Updated 3 years ago
- Applicative maps☆15Updated last month
- audit your cabal projects for haskell-specific security-advisories☆21Updated this week
- Textual Type Classes - a Haskell library for conversion between data types and textual data types☆9Updated 2 months ago
- Scan Haskell code with HLint.☆20Updated this week
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Dump the declarations of Haskell modules☆11Updated last week
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated 2 months ago
- ☆20Updated last year
- Efficient non-empty variants of containers data types, with full API☆25Updated 4 months ago
- An interface for GHC type-checking plugins☆20Updated 2 weeks ago
- A library to profile time in a Haskell program☆17Updated 5 months ago
- Functor-parametric containers☆18Updated last month
- Types for ldtk☆14Updated 7 months ago
- ☆30Updated 3 years ago
- A modern Haskell debugger☆29Updated last year
- ☆38Updated 5 months ago
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆21Updated 3 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated last week
- Test interactive Haskell examples☆27Updated 3 months ago
- Infinite lists aka streams☆17Updated 2 weeks ago
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆18Updated 4 months ago