haskell-cryptography / botan

Related projects ⓘ

Alternatives and complementary repositories for botan

• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆33Updated 6 months ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆31Updated last year
• haskell-cryptography / libsodium-bindings
  Bindings to libsodium for Haskell
  ☆32Updated this week
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆29Updated last year
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆42Updated this week
• mpickering / ghc-artefact-nix
  Create environments with GHC HEAD artefacts
  ☆28Updated last year
• shapr / kudzu
  coverage driven random testing framework
  ☆21Updated 2 weeks ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 2 weeks ago
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆17Updated 11 months ago
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• kokobd / cabal-hoogle
  ☆35Updated this week
• jonathanknowles / monoidmap
  Monoidal map type with support for semigroup and monoid subclasses.
  ☆15Updated 2 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated 3 weeks ago
• klapaucius / vector-hashtables
  ☆33Updated 6 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 3 months ago
• tweag / timestats
  A library to profile time in a Haskell program
  ☆17Updated 5 months ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 3 years ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 4 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• well-typed / falsify
  ☆38Updated 5 months ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• MercuryTechnologies / opentelemetry-plugin
  GHC plugin for open telemetry
  ☆24Updated last month
• MangoIV / cabal-audit
  audit your cabal projects for haskell-specific security-advisories
  ☆21Updated this week
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated last year
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆69Updated last month
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated last week
• shapr / trynocular
  lazy generators with observation
  ☆15Updated last year
• HamzaM3 / yes-browser
  ☆20Updated last year