FranchuFranchu

hvm-os. A purely functional operating system

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

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

fixpoint-itt. Interaction Type Theory based on fixed points

purecraft. Minecraft <1.12 server in Python

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

lua-lfs-hard. Linux "distro" that only includes a Lua interpreter and a Lua library to issue syscalls

convey. A small Godot Engine platformer on conveyor belts

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

inet-types. Types for interaction nets

l-compiler. A compiler for a linear logic language.

angry-birds-python. Angry Birds game written in python using pygame and pymunk

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

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

endless-sky-different-galaxy-plugin. Changes the background galaxy image of Endless Sky to a nicer one.

silver-rogue-df. A dwarf-fortress adventure mode-inspired rogue-like Pygame Python3 game

endless-sky-grapher. Tool for making graphs of Endless Sky missions

inet-grapher. A web tool to quickly make and share interaction nets.

franchufranchu.github.io. my blog

aoc-2024. Advent of Code 2024 in Vine

Kind2. Kind refactor based on HVM

Interaction-Type-Theory. A type theory based on Symmetric Interaction Combinators.

rust-0bsd-riscv-kernel. A RISC-V kernel written in Rust, placed in the public domain.

endless-sky-sw-galaxy-test. Python

hoi4-emc-mod. Mod for the game Hearts of Iron 4

CSS2dict. Python module