Stars
Userspace WireGuard® Implementation in Rust
Master programming by recreating your favorite technologies from scratch.
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dat…
A curated list of awesome things related to shadcn/ui.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A curated list of awesome ZK resources, libraries, tools and more.
The Rust Implementation of the libp2p networking stack.
A collection of full time roles in SWE, Quant, and PM for new grads.
⚙️🦀 Build modular and scalable LLM Applications in Rust
First place project for the 2024 ECSS Fusion Hack
A bot to interact with the global verification API to verify users in University of Southampton related discord servers
A modular, reusable university course for Rust
A modern runtime for JavaScript and TypeScript.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Typst Template for UoS ECS MSc or BSc Individual project
A markup-based typesetting system that is powerful and easy to learn.
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
A workbench for writing toy implementations of distributed systems.
Secure and fast microVMs for serverless computing.
Gossip-based service discovery (and more) for large distributed systems.