Alternatives and similar repositories for latex-live-snippets

Users that are interested in latex-live-snippets are comparing it to the libraries listed below

• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 months ago
• obsidiansystems / haveibeenpwned
  Haskell library that uses HIBP to evaluate passwords
  ☆12Updated 4 months ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 5 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆32Updated 3 months ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated 3 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• harpocrates / pretty-ghci
  Functionality for beautifying GHCi
  ☆20Updated 5 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 7 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• inanna-malick / mononoke
  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
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated last month
• NorfairKing / hastory
  DEPRECATED: Use bevel instead.
  ☆25Updated 4 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• well-typed / full-text-search
  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
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆11Updated last year