Languages, an operating system, a 3D desktop, and a couple of small libraries.
Most of them are experiments, and all of them taught me something.
An easy programming language with three profiles.
One language, three ways to run it. All three share one intermediate representation, JIR.
A hobby operating system for x86_64 UEFI, written in Rust.
It boots into userspace on an SMP system and runs a preemptive scheduler. Drivers are written from scratch:
ping google.comA small Rust checker for explicit derivation certificates in first-order Horn theories.
The caller supplies the theory and the goals; the certificate supplies rule applications. Predicate names have no built-in meaning, so cubical type theory and univalence are just theory data on top of a generic kernel.
ua (nat ≃ bin), computes 3 + 2 on binary numbers in one checked certificateAn experimental 3D Wayland compositor built on wlroots.
Normal desktop apps become objects in a shared 3D world. Windows can move through depth, fold into cubes, collide with the scene, or be picked up and thrown.
One physically based light for your whole web page.
Every shadow, highlight and rim light on the page comes from a single light. It can follow the cursor, or be the real sun at the visitor’s location and time of day.
prefers-reduced-motionnpm i @jihoo12/heliographIndex Rust source code into SQLite and query it back.
Parses Rust with tree-sitter, extracts structs, traits, functions and more, and stores them in a SQLite database.
pip install rust-analyzer-dbAn experimental cubical dependently typed functional language.
Grows out of Kamo, a small Cartesian cubical kernel, toward a functional surface language that looks ordinary until a program actually works with equality.
==), transport and composition in the surface syntaxCircleA dependency-free quantum computing emulator with its own assembly language and VM.
A small C++20 / Vulkan 1.3 game engine with a scene editor and Lua scripting.
A systems language built around explicit syscall contracts, compiled to LLVM IR.
An educational x86-64 assembler and JIT execution engine.