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:
- Dependent hash maps☆14Updated 2 months ago
- Haskell library that uses HIBP to evaluate passwords☆12Updated 4 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- A Haskell ADL to generate terraform files.☆17Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆32Updated 3 months ago
- A monad, perhaps.☆32Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Functionality for beautifying GHCi☆20Updated 5 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 5 months ago
- Library for invertible parsing and printing☆32Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Non-empty Vectors☆24Updated last month
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Declare that a typeclass instance should not exist.☆11Updated last year