ocharles / dhall-agdaLinks
Dhall, formalised in Agda
☆10Updated 5 years ago
Alternatives and similar repositories for dhall-agda
Users that are interested in dhall-agda are comparing it to the libraries listed below
Sorting:
- Safe web routing in haskell☆30Updated 2 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 3 months ago
- Automatic type class law checking.☆24Updated 4 months ago
- Parse bytes fast☆24Updated last year
- Alternative and lite implementation of Hoogle☆11Updated last year
- Derive instances through isomorphisms☆20Updated 11 months ago
- Overloaded plugin☆30Updated 11 months ago
- There are many category theory implementations, but this one is mine☆16Updated 9 months ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Omit fields for instance deriving☆37Updated 5 years ago
- Nat, Fin, Vec☆25Updated last month
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Library and utility for processing cabal's plan.json file☆39Updated 4 months ago
- A Map data structure at the type level.☆8Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- type classes and deriving via for encoding☆21Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Updated 2 years ago
- Derive a mock server for free from your servant API types☆19Updated last year
- Clean up the formatting of 'show' output☆21Updated 3 weeks ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated last month
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago