Type-safe AI agent framework powered by hibana choreography

Affine MultiParty Session Type for Rust

Learn Low Level Design (LLD) and prepare for interviews using free resources.

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

A monospaced pixel font with a lo-fi, techy vibe

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.