beeinger
Follow
Stars
Unified abstraction layer and HAL for several microcontrollers
Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
Cairo0 applicative recursion - minimal example
A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
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
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 3, and other large language models.
The Nexus zkVM: The zero-knowledge virtual machine
A modular stack for zkVMs, with a focus on productivity, security and performance.
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.
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