haskell-cryptography / botan
Haskell bindings for the Botan cryptography library
☆34Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for botan
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- Bindings to libsodium for Haskell☆32Updated this week
- A modern Haskell debugger☆29Updated last year
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Create environments with GHC HEAD artefacts☆28Updated last year
- coverage driven random testing framework☆21Updated 2 weeks ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated 2 weeks ago
- Leightweight generalized parser combinators☆17Updated 11 months ago
- ☆25Updated 4 years ago
- ☆35Updated this week
- Monoidal map type with support for semigroup and monoid subclasses.☆15Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- Issues and proposals related to the HF Stability Working Group☆26Updated 3 weeks ago
- ☆33Updated 6 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- A library to profile time in a Haskell program☆17Updated 5 months ago
- Crypto for Haskell☆37Updated 3 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- ☆38Updated 5 months ago
- Automation for releasing haskell packages☆18Updated last year
- GHC plugin for open telemetry☆24Updated last month
- audit your cabal projects for haskell-specific security-advisories☆21Updated this week
- Language-generic workbench for building static analysis☆47Updated last year
- Visualise eventlog events as a static webpage☆69Updated last month
- Example uses of linear types☆43Updated 4 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated last week
- lazy generators with observation☆15Updated last year
- ☆20Updated last year