athanclark / dagLinks
A well-typed Directed Acyclic Graph in Haskell
☆14Updated 10 years ago
Alternatives and similar repositories for dag
Users that are interested in dag are comparing it to the libraries listed below
Sorting:
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Fixed length vector for haskell☆21Updated 3 months ago
- A monad for managed values☆51Updated 2 years ago
- Type-safe time units in Haskell☆50Updated 9 months ago
- Simple reflection of expressions☆34Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- haskell memory☆48Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Low-level Haskell bindings for libpq☆19Updated 6 years ago
- multiset haskell package☆20Updated last year
- Experimental implementation of generic record subtyping☆18Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A HUnit/hspec assertion to verify that an expression does not typecheck☆43Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 6 months ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- A faster date and time library based on time☆47Updated 2 months ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Kleene algebra, regular expressions☆33Updated last year
- Simplified interface to the GHC API☆22Updated 6 years ago
- Library and tool for parsing .eventlog files from GHC☆37Updated 2 months ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 7 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated last year
- ☆67Updated 3 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago