co-dan / interactive-diagramsLinks
Interactive-diagrams
☆39Updated 10 years ago
Alternatives and similar repositories for interactive-diagrams
Users that are interested in interactive-diagrams are comparing it to the libraries listed below
Sorting:
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 7 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Succinct vectors☆20Updated 6 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- A fast globally unique variable supply with a pure API☆19Updated last year
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- ☆23Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last week
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- phantom types☆38Updated 4 months ago
- Concurrency features for the Haskell machines package☆16Updated 3 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A constant-memory approximation of set membership☆25Updated 4 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- ☆25Updated 8 years ago
- CLI tool for Hackage☆26Updated 2 weeks ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- ☆17Updated 2 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆21Updated last year