A purely functional operating system

.

Temporary repository for Kind2's refactor based on HVM2

...

Toy process language with an interactive playground for exploring concurrency

Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.

No description provided.

A compiler for a linear logic language.

RISC-V kernel written in Rust, intended to have extensive asynchronous support.

A RISC-V kernel written in Rust, placed in the public domain.

Linux "distro" that only includes a Lua interpreter and a Lua library to issue syscalls

an experimental new programming language based on interaction nets

Types for interaction nets

A plan to build simple and type-checked nets by construction.

This is a totally normal terminal recording, nothing to see here.

Minetest is an open source voxel game engine with easy modding and game creation

HOAS representation for reduced polarized symmetric interaction combinator nets

An overhaul of ConWorkShop based on Django.

Advent of Code 2024 in Vine

Interaction Type Theory based on fixed points

my blog

3 dimensional connect-4 with WASM

Kindelia: an efficient, secure cryptocomputer

A type theory based on Symmetric Interaction Combinators.

A web tool to quickly make and share interaction nets.

A small Godot Engine platformer on conveyor belts

An experimental decentralized cryptocomputer without fees, without PoW, without a native currency, without stateful contracts, and without a builtin consensus mechanism.

32-bit protected mode OS using GRUB written in NASM assembly

Lambda Processing Unit

This is me!