fayealephnil Goto Github PK

larbs

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

learning

Me learning langs

learningc

lets_mod_reboot

Going through Pahimar's let's mod series and vswe's series

manim-animations

mathsandlogic

A place for my latex formalizations for my maths and logic stuff, including philosophical logic

maybe-hugs

Polyglot implementations of conditional hugging

messing-with-python

Me messing around with Python

michmathcorps

minecraftforge

Modifications to the Minecraft base files to assist in compatibility between mods.

minecraftscriptingmod

Minecraft Scripting Thingy

mmplv2

Minecraft Mod Public License, v2

musicalda

Lets see how bad I write music

novacore

The core API of the NOVA voxel game modding system

openmappings

The OpenModLoader mappings project.

openmodloader

A next gen minecraft mod loader for minecraft 1.10 and above

openmodslib

playing-with-coq

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

project-euler

Doing the project euler problems in Haskell

public-bergman-code

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

racket-evolution

rftools

A set of blocks and items to help with RF in general. Currently contains a Dimension Builder, Teleportation System, Shield System, RF monitor, an RF network debug tool and an automatic crafter

scip

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

shared

Shared files that can remain public

sophia

Package manager for the Emily programming language (emilylang.org)

sophiaplayroom

Where to put all sophia packages

spongeapi

A Minecraft plugin API

st

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