Unified abstraction layer and HAL for several microcontrollers

Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇

Sample ESP32 snippets and code fragments

Cairo0 applicative recursion - minimal example

A post-modern modal text editor.

A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.

Moved to https://github.com/sst/sst

LLM.swift is a simple and readable library that allows you to interact with large language models locally with ease for macOS, iOS, watchOS, tvOS, and visionOS.

Large Language Model (LLM) module for the Spezi Ecosystem

A scalable, distributed, collaborative, document-graph database, for the realtime web

eRPC — fault-tolerant evm rpc proxy

The MAX Platform (includes Mojo)

All the awesome tools, docs, and training on Docker and Mirantis Swarm Mode (SwarmKit)

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.

Replace Copilot local AI

The Nexus zkVM: The zero-knowledge virtual machine

The canonical spec for ulid

A modular stack for zkVMs, with a focus on productivity, security and performance.

Skyrim mod to play online!

A time-series database for high-performance real-time analytics packaged as a Postgres extension

Minimal implementation of the Mimblewimble protocol.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Fallout for modern operating systems

A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Modern embedded framework, using Rust and async.

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

📚 Learn to write an embedded OS in Rust 🦀