waynee95 Goto Github PK

aoc-2022

my solutions for advent of code 2022

aoc-2023

my solutions for advent of code 2023

cheatsheets

collection of random cheatsheets

dotfiles

my config files

ergodox-keymap

my layout for the Ergodox EZ keyboard

eslint-plugin-rpgmaker

ESlint Plugin for RPG Maker MV and MZ Globals

essentials-of-compilation

A book about compiling Racket and Python to x86-64 assembly

grahams-number-in-proof-assistants

h99

my solutions for Haskell 99 problems

isabelle-exercises

my solutions for the Exercises found in "Concrete Semantics" by Nipkow and Klein

isabelle-hol-playground

isabelle-hott

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

isabelle-tapl

TAPL in Isabelle

md-to-anki

just another tool to convert markdown to Anki cards

muho-isabelle

Formalization of the Abstract Higher-Order Fixpoint Algebra in Isabelle/HOL

mv-code-snippets

Collection of random code snippets related to RPG Maker MV

mv-plugins

waynee95's Plugin Collection for RPG Maker MV

nixos-config

my nixos config

pandoc-letter-din5008

Pandoc template for writing Markdown letters (DIN 5008)

plgradschools

postfix

Interpreter for the PostFix language

prolog-99-problems

my solutions for the Ninety-Nine Prolog Problems

python-student-support-code

Support for for students (Python)

riftc-java

a project to learn how to write a compiler

riftc-ocaml

yet another project on learning how to write a compiler but this time in Ocaml!

slist

♾️ Sized list

waynee95

waynee95.github.io

my personal website

zettelkasten

my personal notes

zola-theme-hikari

Port of the Jekyll Hikari theme to Zola