Stars
TLS implementation in pure python, focused on interoperability testing
DeleGate is a multi-purpose application level gateway, or a proxy server which runs on multiple platforms.
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Rust sample project for trying out Dev Containers
Multiple NVIDIA GPUs or Apple Silicon for Large Language Model Inference?
Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.
Executable formal model of the EVM and Yul in Lean 4.
Visualizing relationships between cryptographic primitives and number theoretic problems.
Learn Rust by writing Entirely Too Many linked lists
A free, open-source Java library for automata learning algorithms
A window management application (replacement for Divvy/SizeUp/ShiftIt)
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
QR designer web app with a novel method of designing qr codes that does not take advantage of error correction
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Colab notebooks and experimental code related to personal research on Large Language Models.
Provides tools for testing circom circuits.
由 justfont 的團隊製作，以 OpenType 實現輸入「常見錯字」即會自動改正功能的開源繁體中文字型，旨在協助所有被生活中各式錯字所困擾的朋友。
Modified version of Percy++ PIR simulation by Goldberg, Devet, et al. These modifications enable PIR over databases that are not synchronized.