-
University of Chicago
- Chicago, IL
- https://people.cs.uchicago.edu/~ssoss
Highlights
- Pro
Stars
A small CBOR codec suitable for no_std environments.
NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…
The reliability of disk images, the flexibility of files
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
A Linux based operating system hardened and purpose built for AI agents
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
Clone of the LLVM 21.1.x sources with patches to support the JWA calling convention
Zammad is a web based open source helpdesk/customer support system.
Cross-platform Xcode replacement. Build and deploy iOS apps with SwiftPM on Linux, Windows, macOS.
A thread-per-core async Rust runtime with IOCP/io_uring/polling.
A cross-platform tun/tap interface infrastructure powered by Rust
GO Simple Tunnel - a simple tunnel written in golang
Policy-controlled microVM sandboxes for safe, reproducible repo workloads.
Kanidm: A simple, secure, and fast identity management platform
Core NixOS utilities in safe, portable Rust for NixOS and friends
The river that carries your cursed, old, IPv4-only clients to the modern IPv6 world
🧙♂️MMapper is a graphical client designed for the MUME (Multi-Users in Middle-earth) game
ietf-wg-acme / draft-bweeks-acme-device-attest
Forked from brandonweeks/draft-bweeks-acme-device-attestA bootable container image build system using mkosi for creating Debian-based bootable containers and system extensions (sysexts).
This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.
VictoriaMetrics: fast, cost-effective monitoring solution and time series database
Nix binary cache proxy service -- with local caching and signing.
A tool to generate highly customised software images for Raspberry Pi devices.