|
Haskell |
2 |
Haskell generic interface (type classes) for cryptographic algorithms |
Dec 05, 2019 |
|
Rust |
199 |
Your favourite Haskell type classes for Rust |
Apr 07, 2023 |
|
Python |
2 |
Cryptographic algorithms |
Nov 03, 2022 |
|
Assembly |
24 |
Fast cryptographic networking for Haskell |
Mar 01, 2018 |
|
Java |
2 |
Sorting Algorithms implemented in java with generic type |
Feb 03, 2022 |
|
Python |
3 |
All Cryptographic Algorithms |
Jan 19, 2022 |
|
C# |
2 |
Various cryptographic algorithms |
Apr 26, 2023 |
|
Haskell |
44 |
An effect system based on type classes, written in Haskell. |
Apr 13, 2023 |
|
Haskell |
6 |
Abstract data types and type classes for Haskell to MessagePack value converters |
Feb 14, 2022 |
|
Haskell |
2 |
A simple lens-based, generic, heterogenous, type-checked haskell zipper library |
Dec 05, 2019 |
|
Haskell |
6 |
A simple lens-based, generic, heterogenous, type-checked haskell zipper library |
Jan 21, 2020 |
|
C |
14 |
lowlevel set of cryptographic primitives for haskell |
Jun 13, 2023 |
|
C |
224 |
lowlevel set of cryptographic primitives for haskell |
Sep 20, 2023 |
|
Haskell |
2 |
A collection of tests for common cryptographic algorithms (using the crypto-api interface) |
Jun 21, 2021 |
|
Haskell |
9 |
DEPRECATED - use cryptonite - Cryptographic public key related algorithms in haskell (RSA,DSA,DH,ElGamal) |
Jul 14, 2021 |
|
JavaScript |
2 |
Code reuse in JavaScript inspired by Clojure protocols and Haskell type classes |
Jan 07, 2013 |
|
C++ |
4 |
Implementations of several cryptographic algorithms. |
Jan 18, 2022 |
|
C |
2 |
This repository implements Cryptographic Algorithms |
Dec 10, 2023 |
|
C++ |
2 |
Popular cryptographic algorithms in C++ |
Sep 28, 2023 |
|
Haskell |
2 |
Hyper-polymorphic classes for Haskell |
Sep 11, 2015 |
|
Haskell |
20 |
Uniform interface to reified data type information via Template Haskell |
Mar 19, 2022 |
|
C |
2 |
C library for quantum-resistant cryptographic algorithms. |
Mar 06, 2023 |
|
Haskell |
2 |
Haskell Money type |
Apr 24, 2017 |
|
Haskell |
7 |
Implements common Haskell type classes using the constraint kinds pattern to allow constraints. |
Jan 17, 2022 |
|
Haskell |
19 |
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds |
Feb 25, 2022 |
|
Haskell |
8 |
Textual Type Classes - a Haskell library for conversion between data types and textual data … |
Mar 21, 2023 |
|
Haskell |
34 |
Compositional type checking for Haskell |
Oct 21, 2021 |
|
Rust |
324 |
Cryptographic signature algorithms: DSA, ECDSA, Ed25519 |
Apr 21, 2023 |
|
C++ |
19 |
A C++ Cryptographic Hash Algorithms Library |
Feb 15, 2023 |
|
Python |
2 |
Some Cryptographic Algorithms written in python3 |
Mar 25, 2023 |
|
Rust |
3 |
A Cryptographic Hash Algorithms Library for Rust 🦀 |
Mar 22, 2023 |
|
JavaScript |
3 |
🔒Online Tool for trying out cryptographic algorithms |
Mar 19, 2023 |
|
Scala |
4 |
Type Classes for Reactive Programming |
Jul 04, 2018 |
|
Haskell |
7 |
Haskell library providing concurrent Chans as read/write pairs. Also provides generic Chan, Cofunctor classes. |
Jan 21, 2020 |
|
Haskell |
4 |
Generic list-like structures [Haskell] |
Nov 26, 2021 |
|
Haskell |
25 |
Generic blockchain implementation in Haskell. |
Mar 29, 2023 |
|
Rust |
3 |
Generic Atomic<T> type for Rust |
Apr 16, 2023 |
|
Rust |
190 |
Generic Atomic<T> type for Rust |
Feb 28, 2023 |
|
None |
2 |
Generic Atomic<T> type for Rust |
Oct 26, 2023 |
|
Haskell |
2 |
Multi-key multi-value store for Haskell native data types with type safe interface. |
Dec 05, 2019 |
|
Haskell |
2 |
Generic facilities for working with Persistent classes |
Jul 24, 2020 |
|
Haskell |
5 |
Simple generic unification algorithms |
Aug 09, 2020 |
|
Haskell |
3 |
Implementation of historical cryptographic and cryptanalytic algorithms. |
Jun 06, 2017 |
|
Haskell |
2 |
A nice haskell interface for building graphs with handy graph algorithms from other modules |
Aug 13, 2019 |
|
C |
27 |
Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms |
Jan 05, 2023 |
|
Haskell |
14 |
Loopless Functional Algorithms (Haskell) |
Jun 07, 2022 |
|
Haskell |
3 |
Type level numerics for Haskell using type families. Based on type-level. |
Jul 03, 2017 |
|
Scala |
273 |
cats transformer type classes. |
Aug 06, 2022 |
|
Haskell |
5 |
Implementation of type classes |
Jan 10, 2020 |
|
Clojure |
4 |
Datomic type extensions for java.time classes |
Dec 05, 2019 |