baidicoot Goto Github PK

8-bit-risc-machine

A small, 8-bit VM running a RISC instruction set. Programmed in Rust/Cargo. Created for a DofE project!

analysis_lean

A formalization of my analysis course, in lean.

aqa-compiler

introducing the ability to compile from AQA pseudocode to AQA assembly for utter fun and profit!

asmbf

The only true brainfuck-targetting assembler. Discord: https://discord.gg/m4Wcenn

assorted-art

Assorted art projects that I did in C++ (mostly) for GCSE art.

att

A Type Theory. However, that sounds way too important for what this is.

autocircuit

automated-interpretability

automated-interpretability-mistral

Getting OpenAI autointerp to work with locally-run (finetuned) Mistral-7B instances.

bijou

Another compiler for a functional programming language, this time hopefully using LLVM in the backend.

bolshefiction

The webserver thingy for my Communist Markov Generator

easy-sae-training

Easy training for Sparse Linear Autoencoders (https://arxiv.org/abs/2309.08600) with data from TransformerLens models.

emu-war-engine

Engine for a New and Upcoming(tm) game on osmarks.tk

emu-war-old

The original emu-war files.

emu-war-online

Multiplayer version of EmuWar

ewo-take-two

fred-lang

A provably TC, minimalistic, stack-based language based off soviet-script, based off Forth.

geml

A simple, string-orientated markdown language parser originally built for my SSG.

group_projects

uni group projects homework (probably mostly bad TeX files)

homework

latent-adverserial-training

Experiments with LAT using activation addition vectors.

lynn

An implementation of a linear type theory with uniqueness types (I think in a similar style to McBride's work, literature is hard)

markdown-rs

A simple markdown parser in rust, built with regexs.

mech-interp-hackery

mini

typed successor to rpncalc

modriscvm

modVM RISC VM with compiler.

modular_vm

A rust framework for creating modular, multithreaded, VMs.

othello_world_ppo

Emergent world representations: Exploring a sequence model trained on a synthetic task

polygraph

RLHF Mechanistic Interpretability and Deception

resnet-deep-double