A WIn9x inspired GTK2/GTK3 theme deveoloped for XFCE4

A verification toolchain for Rust programs

C Bounded Model Checker

Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.

Code for the Splience YouTube channel

nullpt.rs website

The nullpt.rs site

Rust async runtime based on io-uring.

Browser and Nodejs client for general interaction with the arweave protocol and gateways

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

Discord Webhook API Wrapper for Rust.

⚓ Solana Program Framework

Read and write to L1 with minimal latency and no trust tradeoffs.

PyTorch code for Expressive 2019 ``Learning from Multi-domain Artistic Images for Arbitrary Style Transfer''

Code and slides for OpenZeppelin Workshops

Fuzz your Rust code with Google-developed Honggfuzz !

A collection of Solana programs maintained by Solana Labs

Repository of all our investment theses, open for all to suggest edits and recommendations.

Compile protocol buffer messages to TypeScript.

This Projects scrapes the Dapps websites and repositories such as the state of Dapps and Dappradar

The world's fastest CRDT. WIP.

Golang LRU cache

Compound Watcher is a bot that watches potential liquidations on Compound Finance and sends notifications through pushbullet

0xburden's (n)vim config

🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3

Salvia-kit React dashboards templates

🦄 🦄 🦄 Core smart contracts of Uniswap v3