A Subset Of Things (that) I Have Made
In each category, newest work is listed first.
Unless noted otherwise, I have full authorship of everything listed here.
In case you don't know, TK means "(planned) to come".Philosophical #
They come to me when I think of life and the universe, and they make me think of life and the universe.
=> the "concept-capable" family of algorithms
Tools For Operating On Information
Each one of those are novel at the time of its creation. Otherwise they are not very remarkable.
Refactoring Table
What if one can directly draw on table?
Read More
graphical-janet-repl
Janet REPL like Self and gtoolkit.
Article Source Repository
algograph
A drawn notation to better explain existing algorithms and to create new ones faster.
Read More
Immediately Useful
Unlike most of my creations, these are at least somewhat useful.
kanren.zig
minikanren ported to Zig.
Article Source Repository
libredo
Dependency tracking library in the style of redo.
Article Source Repository
APCIT
Misskey API in Zig (compatible with Firefish).
Source Repository
RWKV related
RWKV is a class of OK-scale language model. Learn More
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
A GUI for managing DNS records on Porkbun.
Source Repository
idris2-quickdocs
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.
data soup
Solving LLM hunger in 5 minutes.
Article
Source Repository
weighted_db
Linked list database using MAP_FIXED
. Inspired by a flashcard program and RetroForth dictionary.
Source Repository
"wire routing"
Game-inspired control scheme, feels like pulling a wire around fixed objects.
Article Source Repository
overtime
Sound over time. A audio generating program/library in the style of ChucK.
Source Repository
tetris-raylib-zig
Tetris clone with Zig and raylib.
Source Repository
RWKVΔ
Fancy web client for rwkv-flask.
Source Repository
just strokes
Recognize Hanzi stroke by stroke from hand-writing.
Source Repository
Other
Most of the code I wrote can be found through the following links.
- https://git.envs.net/iacore/ (useful to myself)
- https://codeberg.org/iacore/ (useful to general public)
- https://github.com/iacore/ (contribution to other projects on Github)
If it's digital and not code, if you don't find it on this website, it doesn't exist.