deepakjois / blaze-svgLinks
SVG Combinators for Haskell
☆23Updated 8 years ago
Alternatives and similar repositories for blaze-svg
Users that are interested in blaze-svg are comparing it to the libraries listed below
Sorting:
- ☆23Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Fast base64 encoding and decoding for Haskell.☆47Updated 2 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 8 months ago
- phantom types☆38Updated 2 weeks ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- ☆23Updated 2 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Idris GraphQL☆16Updated 7 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Visualization of Haskell data structures☆16Updated last year
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- A thread-safe hash table in Haskell☆15Updated 5 years ago
- JVM implementation in Haskell☆44Updated last year
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Updated 5 months ago
- Experiments with linear types☆14Updated 7 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Updated 7 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 6 months ago
- A simple ML dialect☆11Updated 8 years ago
- Indexed Functors for GHC 7.6☆22Updated 6 years ago
- ☆23Updated 8 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- ☆40Updated 7 years ago