subpl / truth-tables

Related projects ⓘ

Alternatives and complementary repositories for truth-tables

• GaloisInc / simple-tar
  A very simple tar archive processing library
  ☆11Updated 8 years ago
• bartavelle / stateWriter
  A RWS like monad without the slow writer stuff
  ☆12Updated last year
• andrewthad / banking-transactions
  Example of how to use streaming library
  ☆9Updated 6 years ago
• glutamate / datasets
  UCI Datasets for Haskell
  ☆11Updated 7 years ago
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated 3 weeks ago
• qfpl / dollaridoos
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Updated 8 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 6 years ago
• Cognimeta / perdure
  Robust persistence for typed immutable data
  ☆18Updated 8 years ago
• esengie / fpl-exploration-tool
  Diploma work (if this is still here contact me if you need details)
  ☆13Updated 7 years ago
• primetype / inspector
  Futuristic New Age Golden Test management
  ☆15Updated 2 years ago
• Quid2 / top
  Haskell API for Top, the type oriented protocol.
  ☆12Updated 8 months ago
• sdiehl / datetime
  Financial datetimes and holiday recurrence rules
  ☆18Updated 4 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆14Updated last month
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• mwotton / dustme
  Haskell reimplementation of Selecta
  ☆16Updated 5 years ago
• mpickering / hashtag-coerce
  A GHC source plugin which detects opportunities to use coerce
  ☆17Updated 6 years ago
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆14Updated 8 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• ivan-m / jbi
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Updated 6 years ago
• DanielSchuessler / th-expand-syns
  Expands type synonyms in Template Haskell ASTs
  ☆11Updated 6 months ago
• factisresearch / opensource
  Haskell: Monorepo for our open source packages
  ☆17Updated 7 years ago