LeastAuthority / haskell-spake2

Related projects ⓘ

Alternatives and complementary repositories for haskell-spake2

• derekelkins / ads
  Authenticated Data Structures
  ☆13Updated 9 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago
• ocharles / libsystemd-journal
  Haskell bindings to libsystemd-journal
  ☆21Updated 3 months ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• shapr / trynocular
  lazy generators with observation
  ☆15Updated last year
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated 11 months ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last month
• harendra-kumar / monad-recorder
  Record and play the results of monadic actions
  ☆13Updated 6 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆17Updated 9 months ago
• ekmett / streams
  Haskell 2010 stream comonads
  ☆22Updated 3 weeks ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 7 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• imalsogreg / dhallia
  Dhall-configured inductive API definitions
  ☆24Updated 4 years ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 4 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 6 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• ranjitjhala / haddock-annot
  Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
  ☆12Updated 8 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 weeks ago
• brendanhay / credentials
  Management and Distribution of Secret Credentials
  ☆24Updated 7 years ago