isovector / latex-live-snippetsLinks
deprecated by `design-tools`
☆17Updated 7 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
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 2 months ago
- 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 7 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- A functional test framework for LSP servers☆35Updated 4 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- Haskell parser and printer for the TOML 1.0.0 file format☆29Updated 2 weeks ago
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated 3 weeks ago
- static analysis of free monads☆24Updated 7 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Benchmarking tool with focus on comparing results.☆16Updated last year
- Haskell library for glob matching☆25Updated 3 years ago
- Golden tests for command-line interfaces.☆19Updated last week
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Comma (and other) separated values☆78Updated 2 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 11 months ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago
- A usable type system for call by push-value☆33Updated 6 years ago
- Filter with effects☆74Updated 11 months ago
- Keep your laziness in check!☆35Updated this week
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24Updated 7 years ago
- JHC Haskell compiler split into reusable components☆18Updated 5 months ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago