FayeAlephNil

ThirdPartyCodesFTB

List of all the Third party pack codes on the FTB launcher

voidrice

My dotfiles (deployed by LARBS)

advent

Advent of Code

alacritty-color-export

Regex based solution to export generated (Wal) colors into Alacritty config.

blog

My Blog

candle-light

A small lisp-like programming language (Warning: It is very bad)

churchlude

A Church Encoded Prelude

diagrams-fun

discord-bot

fabric-trial

Trying out Fabric for fun!

homebrew-mytap

My Tap for Homebrew

HoTT

Homotopy type theory

KIndivisibleBiases

Companion code to papers of Faye Jackson and Misheel Otgonbayar

KRegularBiases

Companion code to papers of Faye Jackson and Misheel Otgonbayar

LARBS

Luke's Auto-Rice Bootstrapping Scripts: Installation Scripts for My Arch Linux Meta-Distribution

LearningC

manim-animations

maybe-hugs

Polyglot implementations of conditional hugging

michmathcorps

playing-with-coq

poison

Professional Hugo theme for dev bloggers. Based on Mdo's classic Hyde theme.

press-lang

I'm making a small LISP programming language!

primordial-particle-system

An (incomplete) implementation of https://gitlab.com/thomasschmickl/primordialparticlesystems_public in Haskell using Gloss

public-bergman-code

Public Code for the SMALL 2021 paper on the Generalized Bergman Game

racket-evolution

scip

Doing some SCIP programming. Also possibly writing a baby LISP langauge

shared

Shared files that can remain public

st

Luke's fork of the suckless simple terminal (st) with vim bindings and Xresource compatibility.

strikingwolf.github.io

wise_mans_haskell

Free book for learning Haskell