jzw2 Goto Github PK

annotation

automation-script

bevymaze

Windows Screen Saver: The game

blood

capr

Computer Assisted Proto-language Reconstruction

colors

Pretending to prove the four color problem

dhall-rdf

A serialization format for rdf using Dhall

doom

doom configuration files

dotfiles

edopro

A script engine for "yu-gi-oh!" and sample gui (former "ygopro")

eyes_and_ears

an anthology of melodies for sight-singing

fs-linguistics.github.io

Website for the association of linguistics students at the University of Tübingen

games

game ai or sommething

hamsket

Free and Open Source messaging and emailing app that combines common web applications into one.

i_hate_german

German Words

jenv

Manage your Java environment

jzw2

jzw2.github.io

My Website

koordlanguage

Parser for the Koord Language using Antlr

matching-logic-proof-checker

morbman

It's Morbin Time

napkin

(trying) to solve Evan chen's problem

pdf-tools

Emacs support library for PDF files.

picocaml

small language

piscis

restaurant-game

Game I played at a restaurant, forgot what it was called but they had some good biscuits

rrg-json-diagrammer

RRG (role and reference grammar) that takes a json format and draws a diagram

rust-calculator-2

Another rust calculator, but this time I will hopefully learn something lol, cuz last time I didn't. I won't use any external libraries.

rust-data-structures

Using Rust to learn data structures

rust-metamath

A Metamath verifier written in rust