Lists (3)
Starred repositories
A collection of 2^6 uxn roms pre-assembled for your using pleasure.
A fast, minimal Forth-like interpreter core in C++ with no assembly
A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.
An implementation of the Uxn CPU and Varvara Ordinator
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
An AWS Lambda transport for Swift OpenAPI
OpenTelemetry Semantic Conventions for Swift
Run Kubernetes on MySQL, Postgres, sqlite, dqlite, not etcd.
Self-hosted lightweight PaaS solution to deploy and manage your applications on any VPS [Your own self-hosted Heroku, Vercel]
Foetus -- Termination checker for a tiny functional language with inductive types
A series of scripts to bootstrap rustc from the last OCaml version. They have been tested to work on x86-64 Ubuntu 20.04 LTS. The series currently ends at the 2014-01-20 snapshot. Download steps ca…
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
High-throughput columnar serialization in Rust
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
✨ An advanced 3D Gaussian Splatting renderer for THREE.js
💂♂️ Lightweight pure validation based on Applicative and Selective functors