GaloisInc / RSAView external linksLinks
Haskell RSA Library
☆21Apr 18, 2021Updated 4 years ago
Alternatives and similar repositories for RSA
Users that are interested in RSA are comparing it to the libraries listed below
Sorting:
- Profiling library☆15Jan 15, 2026Updated 3 weeks ago
- Elliptic Curve Diffie Hellman with OpenSSL☆11Sep 10, 2013Updated 12 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated last year
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- Extra concurrency primitives☆17Nov 25, 2018Updated 7 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 5, 2026Updated last week
- Haskell portable POSIX-compatibility layer☆21Dec 1, 2022Updated 3 years ago
- A yesod tutorial☆24Apr 23, 2019Updated 6 years ago
- SQL Testing Framework for the Peloton DBMS☆20Oct 21, 2017Updated 8 years ago
- A Haskell HTTP server☆25Oct 3, 2017Updated 8 years ago
- 综合交易系统资料汇总☆18Nov 26, 2011Updated 14 years ago
- Eagle files, gerbers, BOMs, etc☆36Apr 1, 2019Updated 6 years ago
- URI manipulation facilities☆28Feb 20, 2025Updated 11 months ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Jan 11, 2026Updated last month
- coveralls.io support for haskell code coverage with hpc☆60Sep 6, 2023Updated 2 years ago
- Fast base16 (hexadecimal) encoding and decoding for Haskell bytestrings.☆31Oct 4, 2023Updated 2 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25Jan 5, 2026Updated last month
- Various XML utility packages for Haskell☆73Nov 26, 2025Updated 2 months ago
- JSON pretty-printing library and command-line tool.☆64Apr 19, 2024Updated last year
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated last year
- library to manipulate git repositories in haskell (no bindings)☆50Jan 26, 2019Updated 7 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Teaching materials related to the Tamarin Prover☆71Aug 6, 2024Updated last year
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- This repository contains an implementation of the 3D watermarking algorithm proposed by Cayre et al based on Spectral Decomposition.☆11Jun 3, 2018Updated 7 years ago
- A Haskell native implementation of matrices and their operations.☆35Nov 18, 2023Updated 2 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Jun 3, 2023Updated 2 years ago
- Sample implementation of a proposed C++ hashing framework☆29Oct 27, 2015Updated 10 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Feb 6, 2026Updated last week
- Common Lisp Mustache Template Renderer☆50Sep 26, 2024Updated last year
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 9 months ago