A terminal for the web

Share your terminal over the web

Source for the little book about OS development

Get your documents ready for gen AI

Upgrade all the things

Systems language with linear types and capability-based security.

Note as HTML

Exocompilation for productive programming of hardware accelerators

Code release for DynamicTanh (DyT)

VMM for native-performance sandboxing

SLICES: An Invertible, Invariant, and String-based Crystal Representation [2023, Nature Communications] MatterGPT, SLICES-PLUS

Handwritten LaTeX symbol classifier for the desktop

♥ Janusz Brzozowski

A reasonable configuration language

Spawns lightweight nixos vms in a shell

Updating nixpkgs packages since 2018

[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…

True backend-free web apps with nothing but Postgres

A programming language for data stream analytics.

The open-source reactive database for app developers

Toolkit for linearizing PDFs for LLM datasets/training

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

Alloy syntax highlighting support for VSCode

Universal structured code navigation and editing

A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero…

A bidirectional pipeline parallelism algorithm for computation-communication overlap in V3/R1 training.

Browse your photos

🧡 Browser extension that simplifies finding and subscribing RSS and RSSHub

A light RINA implementation. Documentation is available in REAME.md (see below).

Convert a nixos derivation into a self-contained binary