Delphi wrapper for OpenSSL
- cryptography
- delphi
- openssl
- rsa
Repository Index
56,139 visible repositories in the index
25–48 of 55 · Most stars
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Compile WebAssembly to native MicroPython modules
- armv7
- esp32
- micropython
- raspberry-pi
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Electra is an esolang where you code like an electrician.
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Pipelines using goroutines
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
:shrimp: Rust cryptography library
- rust
- cryptography
Lisp dialect implemented with Crystal
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
Adobe AIR native extension for the Bullet physics simulation library
scikit-learn for OCaml
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine