isovector / latex-live-snippets
deprecated by `design-tools`
☆17Updated 6 years ago
Alternatives and similar repositories for latex-live-snippets:
Users that are interested in latex-live-snippets are comparing it to the libraries listed below
- Dependent hash maps☆14Updated last month
- Haskell library that uses HIBP to evaluate passwords☆12Updated 3 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 5 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 months ago
- ☆20Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 8 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Simple helper functions to work with optparse-applicative☆29Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆18Updated last month
- Library for invertible parsing and printing☆32Updated 11 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 5 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- An efficient graph library for Haskell☆39Updated 9 months ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated last week
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Linear map categories in Agda☆5Updated 2 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 4 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago