Alternatives and similar repositories for tix-papers

Users that are interested in tix-papers are comparing it to the libraries listed below

• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 6 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• thufschmitt / tix
  [WIP] A type system for nix
  ☆63Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 7 months ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• thsutton / aeson-diff
  Generate and apply diffs between JSON documents.
  ☆39Updated 3 years ago
• hsyl20 / haskus-system
  ☆27Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 8 years ago
• ElvishJerricco / nix-simple-ci
  Very simple CI server for Nix projects on GitHub
  ☆15Updated 8 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• mitchellwrosen / h
  ☆32Updated 9 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 3 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 2 months ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated 2 years ago
• soenkehahn / dead-code-detection
  ☆25Updated 9 years ago
• aristidb / http-types
  Generic HTTP types for Haskell (for both client and server code)
  ☆54Updated last year
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 8 years ago
• snoyberg / packdeps
  Web app to track lagging package dependencies.
  ☆66Updated last year
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 5 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆45Updated 2 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Updated 5 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• TokTok / hs-msgpack-binary
  Haskell implementation of MessagePack / msgpack.org
  ☆16Updated 6 months ago