Alternatives and similar repositories for haskell-spake2

Users that are interested in haskell-spake2 are comparing it to the libraries listed below

• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 4 months ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• SamProtas / hs-triplesec

  View on GitHub
  TripleSec is a simple, triple-paranoid, symmetric encryption library
  ☆13Dec 26, 2023Updated 2 years ago
• benjaminselfridge / logix

  View on GitHub
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Jun 3, 2022Updated 3 years ago
• tfausak / grotesque

  View on GitHub
  An implementation of GraphQL in Haskell.
  ☆21Jun 17, 2017Updated 8 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• simonmar / toy-haxl

  View on GitHub
  A toy implementation of Haxl to illustrate the internals
  ☆22Jun 29, 2017Updated 8 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• draperlaboratory / cspgen

  View on GitHub
  A tool for translating imperative programs to CSP.
  ☆13Feb 7, 2017Updated 9 years ago
• GaloisInc / hexdump

  View on GitHub
  A human readable style for binary data.
  ☆12Dec 4, 2019Updated 6 years ago
• twanvl / ttie

  View on GitHub
  Type Theory with Indexed Equality
  ☆26Apr 7, 2017Updated 8 years ago
• decentral1se / tasty-discover

  View on GitHub
  Haskell test discovery for the tasty framework
  ☆35Jun 5, 2018Updated 7 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• GaloisInc / gidl

  View on GitHub
  Gidl: an Interface Description Language
  ☆10Aug 11, 2017Updated 8 years ago
• cocreature / postgresql-named

  View on GitHub
  Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
  ☆13Feb 19, 2018Updated 7 years ago
• koengit / satplus

  View on GitHub
  ☆13May 2, 2023Updated 2 years ago
• dorchard / sessions-in-haskell

  View on GitHub
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Jan 11, 2018Updated 8 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• konn / type-natural

  View on GitHub
  Type-level well-kinded natural numbers.
  ☆36Jan 2, 2025Updated last year
• cgaebel / stm-conduit

  View on GitHub
  STM-based channels for conduits.
  ☆42Jul 31, 2023Updated 2 years ago
• basvandijk / monad-batcher

  View on GitHub
  An applicative monad that batches commands for later more efficient execution
  ☆28Jan 21, 2018Updated 8 years ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• lambdageek / freer-church

  View on GitHub
  Church-encoding of the Freer monad
  ☆28Oct 27, 2016Updated 9 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago