7,926 skills found · Page 1 of 265
rlabbe / Kalman And Bayesian Filters In PythonKalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
getsentry / Self HostedSentry, feature-complete and packaged up for low-volume deployments and proofs-of-concept
frohoff / YsoserialA proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
matter-labs / Awesome Zero Knowledge ProofsA curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
spaceandtimefdn / Sxt Proof Of SqlSpace and Time | Proof of SQL
rocq-prover / RocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
spaceandtimefdn / BlitzarZero-knowledge proof acceleration with GPUs for C++ and Rust
Threekiii / Awesome POC一个漏洞 PoC 知识库。A knowledge base for vulnerability PoCs(Proof of Concept), with 1k+ vulnerabilities.
google / Security ResearchThis project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
ethereum / Consensus SpecsEthereum Proof-of-Stake Consensus Specifications
mikepenz / FastAdapterThe bullet proof, fast and easy to use adapter library, which minimizes developing time to a fraction...
LUX-Core / LuxLUX - Hybrid PoW/PoS & Unique PHI2 Algorithm | Masternode | Parallel masternode | Segwit | Smartcontract | Luxgate | Proof of file storage (Decentralised distributed file storage)
OffchainLabs / PrysmGo implementation of Ethereum proof of stake
HigherOrderCO / KindA modern proof language
FStarLang / FStarA Proof-oriented Programming Language
standardrb / StandardRuby's bikeshed-proof linter and formatter 🚲
gopher-os / Gopher OsA proof of concept OS kernel written in Go
namada-net / NamadaRust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Notselwyn / CVE 2024 1086Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 99.4% in KernelCTF images.
nebulet / NebuletA proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
