jeffreyrosenbluth / lucid-svg
Clear to write, read and edit DSL for writing SVG, base on lucid
☆12Updated last year
Alternatives and similar repositories for lucid-svg:
Users that are interested in lucid-svg are comparing it to the libraries listed below
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Reification of data structures using observable sharing☆28Updated 5 months ago
- Smuggle arbitrary values in ()☆12Updated last year
- Haskell routes using dependent types☆10Updated 8 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆33Updated last month
- Content Addressable Storage Archive☆41Updated 11 months ago
- Run a program as a daemon☆5Updated 3 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated 2 months ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 9 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 9 years ago
- Plucky errors and exceptions☆20Updated 4 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Cursor data and manipulation☆21Updated last year
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 4 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 4 months ago