My (at least somewhat sound) creations

In each category, newest work is listed first.

Only creations that I have major contributions are listed on this page.

Life's Work

If I finish all these, I will be happy.

Refactoring Table

Concept

What if you can directly draw on the table?
Read More

graphical-janet-repl

POC

Janet REPL like Self and gtoolkit.
Article
Source Repository

screenshot

algograph

Done

A drawn notation to better explain existing algorithms and to create new ones faster.
Read More

example algograph snippet

Useful

Unlike most of my creations, these are at least somewhat useful.

kanren.zig

Mostly Done

minikanren ported to Zig.

Source Repository

libredo

Done

Dependency tracking library in the style of redo.
Article
Source Repository

APCIT

WIP

Misskey API in Zig (compatible with Firefish).
Source Repository

RWKV related

Done

RWKV is a class of OK-scale language model.

rwkv-np: CPU-only RWKV implementation in Python
Source Repository

rwkv-flask: rwkv.cpp wrapped as HTTP service.
Source Repository

rwkv-rs: RWKV implemented in Rust
Source Repository

llama-rs: Rust tools for working with LLMs
Source Repository

porkbun-gui

Done

A GUI for managing DNS records on Porkbun.
Source Repository

screenshot

idris2-quickdocs

Done

Code search engine for Idris2 packages.
Website
Source Repository

Interesting

I made these because I had not made them before. Some of them are research.

overtime

Left

Sound over time. A audio generating program/library in the style of ChucK.
Source Repository

tetris-raylib-zig

Done

Tetris clone with Zig and raylib.
Source Repository

screenshot

RWKVΔ

Done

A fancy web client for rwkv-flask.
Source Repository

screenshot

just strokes

Done

Recognize Hanzi from hand-writing.
Source Repository

screenshot

Other

Most of the code I wrote can be found through the following links.

If it's digital and not code, if you don't find it on this website, it doesn't exist.