Highlights
- Pro
Starred repositories
29
results
for sponsorable starred repositories
Clear filter
🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!
Hundreds of models & providers. One command to find what runs on your hardware.
Make your zero-knowledge circuits safe with formal verification! 🍀
A self-paced course to learn Rust, one exercise at a time.
All about bug bounty (bypasses, payloads, and etc)
A collection of (mostly) technical things every software developer should know about
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
The 30 Days of Python programming challenge is a step-by-step guide to learn the Python programming language in 30 days. This challenge may take more than 100 days. Follow your own pace. These vide…
Audited & minimal JS implementation of elliptic curve cryptography.
Katzenpost is a free and open source software project dedicated to researching and developing mix network protocols
Perform data science on data that remains in someone else's server
The papers and books I've read or am about to read.
A simple state-machine framework for OCaml based on QCheck
Type level algebraic "proofs" using lens combinators
A comprehensive curated list of available Bug Bounty & Disclosure Programs and Write-ups.
Heterogeneous automatic differentiation ("backpropagation") in Haskell
A library for formalizing Haskell types and functions in Coq
scikit-learn: machine learning in Python
Inspired by free-programming-books, here's free-science-books
My personal repository of formally verified mathematics.
An axiom-free formalization of category theory in Coq for personal study and practical work
😎 Awesome lists about all kinds of interesting topics
A curated list of awesome awesomeness
📚 Freely available programming books