Explore Projects
Discover 102 open source projects
Showing 21-40 of 102 projects
input-output-hk/cardano-sl
Cryptographic currency implementing the Ouroboros Proof-of-Stake blockchain protocol in Haskell.
LUX-Core/lux
A hybrid PoW/PoS cryptocurrency with Segwit, Smartcontract, Luxgate, and Proof of File Storage features.
OffchainLabs/prysm
Go implementation of Ethereum proof of stake, not focused on AI coding tools
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
JJTech0130/pypush
This Python library provides a client for interacting with Apple's APNs and iMessage services.
sigp/lighthouse
Lighthouse is an Ethereum consensus client written in Rust, focusing on the Ethereum 2.0 proof-of-stake network.
Lagrange-Labs/deep-prove
A Rust framework for blazingly fast inference of ML models using zero-knowledge proofs.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
standardrb/standard
A Ruby linter and formatter that enforces a consistent code style for Ruby projects.
tostercx/GTAO_Booster_PoC
This is a proof-of-concept repository for a Grand Theft Auto Online (GTAO) booster, likely not related to AI coding tools.
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
namada-net/namada
A Rust-based implementation of a privacy-focused, interchain-enabled Layer 1 blockchain.
coffeehb/Some-PoC-oR-ExP
This repository contains a collection of vulnerability proof-of-concepts and exploits for security research purposes.
Notselwyn/CVE-2024-1086
This repository contains a proof-of-concept exploit for a Linux kernel vulnerability that allows local privilege escalation.
mCaptcha/mCaptcha
A CAPTCHA system with seamless UX, built with Rust for spam and DDoS protection.
nebulet/nebulet
A proof-of-concept microkernel that implements a WebAssembly 'usermode' running in Ring 0
helloexp/0day
This repository contains a collection of exploits and proof-of-concept code for various CMS, platforms, and software vulnerabilities.
pydio/cells
Future-proof content collaboration platform built with Go microservices
altcha-org/altcha
A GDPR, WCAG 2.2 AA, and EAA compliant, self-hosted CAPTCHA alternative with a PoW mechanism.
nayuki/Project-Euler-solutions
A collection of runnable code solutions for solving Project Euler problems in various languages.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.