A tutorial on how to mechanize session types in Rocq with Linearity Predicates

The best ChatGPT that $100 can buy.

⅋ — session types for Rust

A library for deadlock-free multiparty session-typed communication in Rust.

An open-source AI agent that brings the power of Gemini directly into your terminal.

xv6 port to aarch64 virt board

Windows Subsystem for Linux

AIV - AI Valve: Pipes for AI

36 (choc/kailhx) key ortholinear split keyboard

A comprehensive Rust translation of the code from Sebastian Raschka's Build an LLM from Scratch book.

Putting a brain behind `cat`🐈‍⬛ Integrating language models in the Unix commands ecosystem through text streams.

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama

Programming Fonts (Hack + IBM Plex Sans JP + Nerd Fonts)

A protocol and modular application suite for language models.

A very fast linker for Linux

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

Home of OpenVMM and OpenHCL

Emacs package to enable transclusion with Org Mode

Embark export buffer for org roam nodes

bash written with Rust

More convenient key definitions in emacs

Ellama is a tool for interacting with large language models from Emacs.

📝 A .docx file writer with Rust/WebAssembly.

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

An unofficial Copilot plugin for Emacs.