- Switzerland
- https://orcid.org/0009-0004-5028-2023
Stars
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Cloud Native Data Plane (CNDP) is a collection of user space libraries to accelerate packet processing for cloud applications using AF_XDP sockets as the primary I/O..
RunWhen Local provides a tailored troubleshooting cheat sheet for Kubernetes environments
A submodule repository for distributing REDHAWK artifacts and the latest REDHAWK source code. Use 'git clone --recurse-submodules [email protected]:RedhawkSDR/redhawk.git' to also clone all submodules.
An open source, self-hosted implementation of the Tailscale control server
Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.
OpenCellular (OC) is open source access platform with main focus on rural connectivity. OC is an eco-system of open-source project(s) focusing on hardware, software, testing automation, manufacturi…
oreboot is a fork of coreboot, with C removed, written in Rust.
High-performance stateful serverless runtime based on WebAssembly
Package manager and build abstraction tool for FPGA/ASIC development
The container platform tailored for Kubernetes multi-cloud, datacenter, and edge management ⎈ 🖥 ☁️
Kubernetes Native Edge Computing Framework (project under CNCF)
A Fast DNN Accelerator Design Space Exploration Framework.
Generator Bootcamp Material: Learn Chisel the Right Way
Open-source high-performance RISC-V processor
Model Compression Toolkit (MCT) is an open source project for neural network model optimization under efficient, constrained hardware. This project provides researchers, developers, and engineers a…
NGSI-LD compliant context broker named Scorpio. Developed by NEC Laboratories Europe and NEC Technologies India
FogFlow is a standard-based IoT fog computing framework that supports serverless computing and edge computing with advanced programming models
A Kubernetes toolkit for building distributed applications using cloud native principles
OpenSource HummingBird RISC-V Software Development Kit
🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
RSD: RISC-V Out-of-Order Superscalar Processor
WebAssembly Micro Runtime (WAMR)
RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)