Autonomous agents for everyone

AI Crash Course to help busy builders catch up to the public frontier of AI research in 2 weeks

Your agent in your terminal, equipped with local tools: writes code, uses the terminal, browses the web. Make your own persistent autonomous agent on top!

Run frontier AI locally.

🦄 A curated list of the awesome resources about the Vulnerability Research

A Rust compiler front-end for IDEs

Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.

A screen overlay filter that helps people affected by the visual snow syndrome.

Your self-hosted, globally interconnected microblogging community

Static website generator based on HTML element tree rewriting

List of halo2-related resources

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

the resources I use to learn computer science in my spare time

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Context sensitive completion for OCaml in Vim and Emacs

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Reverse Engineering BlackCipher

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Projects for an undergraduate OS course

Predicting big five personality traits from a given text.

📋 A list of open LLMs available for commercial use.

Demystifying Exploitable Bugs in Smart Contracts

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

A collection of papers in the area of photonic design automation