melody-notpond

melody!'s repositories

closey-lang

The Closey programming language

Language:RustLGPL-2.11302

minecraft-rust

Minecraft clone implemented in Rust.

Language:Rust13 10

uwutalk

Matrix client.

Language:Rust11 20

ilo-pali

ilo pali is a RISC V operating system featuring a microkernel.

Language:C10 10

owos-riscv

Simple operating system for QEMU's virt board.

Language:C10 20

example-os

An example bare bones OS template for RISC V.

Language:C4 10

ilo-toki

Terminal client for matrix

Language:RustMIT3 10

ilo-toki-harmony

Harmony chat client in the terminal!

Language:RustMIT3 10

obsidian

The Obsidian programming language.

Language:Rust3 10

uwux-x86

Simple Unix-like for x86_64.

Language:CMIT3 10

class-lang

A programming language created almost exclusively while not paying attention in class

Language:OCaml2 10

hm-test

basic implementation of hindley milner's algorithm j

Language:OCaml2 10

nyacate

Chat client for XMPP

Language:CMIT2 10

bean

bean chat client/server uwu

Language:Rust1 10

coq-groups

i was bored so i played around with groups in coq

Language:Coq100

lamb

silly lil haskell-like

Language:HaskellMIT100

lil-owo-bootstrap

Language:Rust1 10

melody-notpond

Config files for my GitHub profile.

1 10

nu

Nu text editor

Language:Rust1 10

octoproc-assembler

An assembler for the Octoproc CPU.

Language:Rust1 10

os-tutorial-series

Language:C1 10

riscv-forth

Forth, but in RISC V and bootstrapped

Language:Assembly1 10

rv64-emu

RISC V emulator written in C

Language:C1 10

topics-notes

Language:TeX100

ucc

URCL C Compiler

Language:C1 10

uwum

a windowo manager uwu

Language:C1 10

uwuml

Super simple ML implementation.

Language:OCaml1 10

uwux

RISC V Unix like OS.

Language:C1 10

clef

learning to make a proof assistant :3

Language:HaskellMIT000

magic-game

Language:Rust010