thufschmitt / tix-papers

Related projects ⓘ

Alternatives and complementary repositories for tix-papers

• thufschmitt / tix
  [WIP] A type system for nix
  ☆61Updated 5 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• eelco / gdiff
  ☆34Updated 9 years ago
• mightybyte / armor
  Protect against backwards-incompatible serializations
  ☆23Updated 3 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 2 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• DanielG / cabal-helper
  Give Haskell development tools access to Cabal project environment.
  ☆24Updated 3 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 3 months ago
• FormationAI / hazel
  Managing third-party Haskell packages in Bazel
  ☆30Updated 5 years ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated last week
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 3 weeks ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• psibi / stackgo
  Browser plugin to automatically redirect Hackage library pages to Stackage pages.
  ☆15Updated 7 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• ElvishJerricco / nix-simple-ci
  Very simple CI server for Nix projects on GitHub
  ☆15Updated 7 years ago
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆26Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• clovyr / aeson-yaml
  Encode any Aeson (JSON) value as YAML (in pure Haskell)
  ☆12Updated last year
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• k0001 / exinst
  ☆21Updated last year
• commercialhaskell / casa
  Content Addressable Storage Archive
  ☆41Updated 7 months ago
• ocharles / libsystemd-journal
  Haskell bindings to libsystemd-journal
  ☆21Updated 3 months ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago