Lists (1)
Starred repositories
🍦 VanJS: World's smallest reactive UI framework. Incredibly Powerful, Insanely Small - Everyone can build a useful UI app in an hour.
Next Generation Server Toolkit. Create web servers with everything you need and deploy them wherever you prefer.
⚡️ Minimal H(TTP) framework built for high performance and portability
A POSIX-compliant AWK interpreter written in Go, with CSV support
NeMo text processing for ASR and TTS
A human-friendly and fast alternative to cut (and sometimes awk)
Semantica 🧠 — A framework for building semantic layers, context graphs, and decision intelligence systems with explainability and provenance.
formalization of an equivariant cartesian cubical set model of type theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
yacctt: Yet Another Cartesian Cubical Type Theory
Extensions to cubical for categorical logic/type theory
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
WebAssembly implementation from scratch in Safe Rust with zero dependencies
Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with its context and reasoning.
All-in-one delivery platform for AI-driven development.
Our first fully AI generated deep learning system
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
The leading workflow orchestration platform. Run stateful step functions and AI workflows on serverless, servers, or the edge.
Automatically purge Cloudflare cache on Netlify deploy.
OpenViking is an open-source context database designed specifically for AI Agents. OpenViking unifies the management of context (memory, resources, and skills) that Agents need through a file syste…
🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.
Dapr is a portable runtime for building distributed applications across cloud and edge, combining event-driven architecture with workflow orchestration.