isovector / latex-live-snippets

Related projects ⓘ

Alternatives and complementary repositories for latex-live-snippets

• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 5 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 3 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 4 years ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated 2 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆33Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated 2 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆22Updated 3 months ago
• cdepillabout / nix-reverse-deps-of-haskell-package
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Updated 4 years ago
• obsidiansystems / rhyolite
  ☆26Updated this week
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated this week
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 2 years ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated 4 months ago