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:
- Fast base64 encoding and decoding for Haskell.☆48Updated 2 years ago
- ☆23Updated 8 years ago
- TODO☆23Updated 10 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- ☆23Updated 8 years ago
- Haskell Join-calculus DSL☆24Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- Yet another concurrent playground☆33Updated 10 years ago
- ☆23Updated 2 years ago
- phantom types☆39Updated 3 weeks ago
- Distributed systems execution emulation☆18Updated 7 years ago
- User-contributed extensions to diagrams☆28Updated 7 months ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 7 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- A small bifunctor library for idris☆21Updated 5 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 9 months ago
- A monad for interfacing with external SAT solvers☆65Updated 7 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Updated last week
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- A simple ML dialect☆11Updated 9 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Visualization of Haskell data structures☆16Updated last year
- A hip inductive theorem prover!☆90Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- JVM implementation in Haskell☆44Updated last year
- Some useful control operators for looping☆47Updated 5 years ago