isovector / latex-live-snippetsLinks
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
Sorting:
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 4 months ago
- Library for invertible parsing and printing☆32Updated last week
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago
- UI experiments for coda☆66Updated 3 years ago
- Comma (and other) separated values☆78Updated last year
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 3 years ago
- A thread-safe hash table in Haskell☆15Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24Updated 7 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 3 weeks ago
- A functional test framework for LSP servers☆35Updated 4 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Filter with effects☆74Updated 7 months ago
- Typed filepath in haskell☆17Updated 3 years ago
- Surgery for generic data types☆25Updated 4 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago