- Canada
- https://Christoph.diy
Stars
- All languages
- ASP
- AppleScript
- Assembly
- Bicep
- Blade
- C
- C#
- C++
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- KRL
- Lean
- LiveScript
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mathematica
- Motoko
- Mustache
- Nunjucks
- Nushell
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- Perl
- Processing
- Puppet
- PureScript
- Python
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Starlark
- Swift
- TeX
- Thrift
- TypeScript
- Vim Script
- Visual Basic
- Vue
- Web Ontology Language
- WebAssembly
- Wikitext
- Wolfram Language
- XQuery
- XSLT
- wisp
An implementation of the pico-engine hosted on node.js
KRL rulesets for Manifold, updated for Pico Engine v1.0
Fork() for AI agent microVMs. Spawn 100 children in ~100ms from a warm parent; BRANCH a live VM in ~150ms. KVM-isolated, snapshot CoW.
A JavaScript runtime executing inside hyperlight
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
Interactive documents from Markdown. Extends MD with forms, approvals, webhooks, and more — built for next gen apps
Lean 4 formalization of the seven theorems in 'Identity as Accountability Chain' (Cormier 2026)
Zero-config entity resolution. The zero-tuning Fellegi-Sunter path beats hand-rolled Splink head-to-head; scales from a CSV to a verified 100M-row dedupe in 9.2 min on Ray. Fuzzy/exact/probabilisti…
The Open Standard for AI Agent Identity & Accountability
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
The collaboration layer for your AI workforce. Run a team of AI agents that coordinate over email, share memory, and get better with every task.
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
Real-time architectural sensor that helps AI agents close the feedback loop, enabling recursive self-improvement of code quality. Pure Rust.
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
VSCode Remote Development: Open any folder on a remote machine using SSH.
Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they…
The design language that makes your AI harness better at design.
Utility to dynamically load ESM modules in TypeScript CommonJS projects
AI coding jargon, explained in plain English.
Deterministic extractive summarization — zero runtime dependencies. Python reference implementation; Rust port coming in v0.1.0.
Lakehouse native graph engine with git-style workflows
The open-source reactive database for app developers
Desktop app to manage markdown knowledge bases
Web 7.0 Decentralized System Architecture (DSA) Library Operating System ( Web 7.0 DIDLibOS). Part of the Web 7.0 Eosystem and the Trusted Digital Web Federation.