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
- Snap integration for the websockets library☆33Updated 10 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- ☆15Updated 7 years ago
- Reification of data structures using observable sharing☆28Updated 3 months ago
- Vector builder☆15Updated 2 weeks ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆33Updated 2 weeks ago
- Haskell routes using dependent types☆10Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Transactional cache with configurable persistence☆47Updated last year
- a logic-based trust-management system☆19Updated 12 years ago
- ELF data structures for Haskell☆24Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Run a program as a daemon☆5Updated 3 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Updated 12 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 3 months ago
- Cursor data and manipulation☆21Updated last year
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 5 months ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆17Updated last year
- A Dockerfile to build a development environment for Android version of Epidemic.☆30Updated 8 years ago
- Flush system metrics to statsd☆26Updated 3 months ago