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
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Agda-style equational reasoning in Haskell☆54Updated 2 weeks ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Type-safe library for generating haskell source code☆28Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Succinct vectors☆20Updated 7 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Simple reflection of expressions☆34Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 10 years ago
- TODO☆23Updated 10 years ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- fast clustering algorithms☆15Updated 6 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- Quiver stream processing library☆15Updated 9 years ago
- A fast globally unique variable supply with a pure API☆19Updated 2 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last year
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- topos programming☆31Updated 7 years ago
- phantom types☆39Updated 3 weeks ago
- Interval Arithmetic☆27Updated last year