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 3 months ago
• obsidiansystems / haveibeenpwned
  Haskell library that uses HIBP to evaluate passwords
  ☆12Updated 5 months ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• obsidiansystems / rhyolite
  ☆30Updated last week
• 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
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated 3 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 2 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 3 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆18Updated 4 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• mitchellwrosen / haskell-papers
  https://mitchellwrosen.github.io/haskell-papers
  ☆22Updated 6 years ago
• NorfairKing / hastory
  DEPRECATED: Use bevel instead.
  ☆25Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• bgamari / hoogle-index
  Easily generate Hoogle indices for installed packages
  ☆25Updated 9 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago