Pinned Repositories
amethyst
Amethyst is a systems language aimed at being simple, small, portable, and safe.
asm6502
A 6502 assembler written in Rust.
clef
learning to make a proof assistant :3
closey-lang
The Closey programming language
curly-lang-legacy
Curly programming language
example-os
An example bare bones OS template for RISC V.
ilo-pali
ilo pali is a RISC V operating system featuring a microkernel.
minecraft-rust
Minecraft clone implemented in Rust.
owos-riscv
Simple operating system for QEMU's virt board.
uwutalk
Matrix client.
melody-notpond's Repositories
melody-notpond/minecraft-rust
Minecraft clone implemented in Rust.
melody-notpond/uwutalk
Matrix client.
melody-notpond/ilo-pali
ilo pali is a RISC V operating system featuring a microkernel.
melody-notpond/ilo-toki
Terminal client for matrix
melody-notpond/ilo-toki-harmony
Harmony chat client in the terminal!
melody-notpond/obsidian
The Obsidian programming language.
melody-notpond/uwux-x86
Simple Unix-like for x86_64.
melody-notpond/class-lang
A programming language created almost exclusively while not paying attention in class
melody-notpond/hm-test
basic implementation of hindley milner's algorithm j
melody-notpond/nyacate
Chat client for XMPP
melody-notpond/bean
bean chat client/server uwu
melody-notpond/druid
A data-first Rust-native UI design toolkit.
melody-notpond/gwion-docs
Documentation for Gwion
melody-notpond/kak-lsp
Kakoune Language Server Protocol Client
melody-notpond/langbot
Run code from many programming languages in Discord!
melody-notpond/libstrophe
A simple, lightweight C library for writing XMPP clients
melody-notpond/MCHPRS
A multithreaded Minecraft server built for redstone.
melody-notpond/melody-notpond
Config files for my GitHub profile.
melody-notpond/nu
Nu text editor
melody-notpond/octoproc-assembler
An assembler for the Octoproc CPU.
melody-notpond/os-tutorial-series
melody-notpond/riscv-forth
Forth, but in RISC V and bootstrapped
melody-notpond/rv64-emu
RISC V emulator written in C
melody-notpond/ucc
URCL C Compiler
melody-notpond/uwum
a windowo manager uwu
melody-notpond/uwuml
Super simple ML implementation.
melody-notpond/uwux
RISC V Unix like OS.
melody-notpond/clef
learning to make a proof assistant :3
melody-notpond/coq-groups
i was bored so i played around with groups in coq
melody-notpond/magic-game