CT075

I do cool things, occasionally.

Pinned Repositories

Archipelago
Archipelago Multi-Game Randomizer and Server
Language:Python5 2 03
cam-formatting-suite
Clones of many Event Assembler formatting tools.
Language:Rust3 2 00
CamCore
Language:Rust2 3 00
celica-2024
Language:Assembly1 1 00
dependent-ghost
An implementation of the "Ghosts of Departed Proofs" technique in Rust
Language:Rust6 2 00
fe8-archipelago
Language:C++4 2 03
fpc-playground
An exp-eval implementation of System-FPC in Haskell
Language:Haskell1 3 00
hotc
Language:Rust2 3 00
microskillsys
Language:C2 1 00
SML-lint
A linter for Standard ML. Intended for use by the course 15-150 at CMU, but should also be flexible enough to generalize.
Language:Standard ML3 3 02

CT075's Repositories

CT075/Archipelago
Archipelago Multi-Game Randomizer and Server
Language:Python5 2 03
CT075/fe8-archipelago
Language:C++4 2 03
CT075/cam-formatting-suite
Clones of many Event Assembler formatting tools.
Language:Rust3 2 00
CT075/CamCore
Language:Rust2 3 00
CT075/microskillsys
Language:C2 1 00
CT075/celica-2024
Language:Assembly1 1 00
CT075/gbafe-event.vim
vim syntax highlighting for gbafe event assembler buildfiles
Language:Vim Script1 2 00
CT075/system_config
A collection of setup scripts to be used when setting up a new machine
Language:Shell1 3 00
CT075/tmc-archipelago
Decompilation of The Legend of Zelda: The Minish Cap (USA/JP/EU)
Language:C1 1 00
CT075/CS262-hw
harvard cs 262 exercises
Language:Python0 3 00
CT075/agda-soas
Agda formalisation of second-order abstract syntax
CT075/cs243-checkhint
Language:Python2 0
CT075/diagnose
A simple library for reporting compiler/interpreter errors
Language:Haskell1 0
CT075/discourse-necro-warnings
A Discourse theme to warn users when bumping an extremely old topic
Language:JavaScript1 0
CT075/dot-omega
dependent object types, augmented with higher-kinded types
Language:Agda
CT075/dot-playground
proofs and mechanizations of various calculi related to DOT
Language:Agda
CT075/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Language:Haskell0 0
CT075/fireemblem8u
Decompilation/disassembly of Fire Emblem: The Sacred Stones
Language:Assembly2 0
CT075/idris-soas
Language:Idris1 0
CT075/lightweight-hkt-dot
Language:Agda2 0
CT075/lms-clean
Language:Scala1 0
CT075/lms-koika
Language:C
CT075/lms-verify-refine
Proof-carrying LMS
Language:C2 0
CT075/nvim-metals
A Metals plugin for Neovim
Language:Lua1 0
CT075/oplss-2024
Language:Agda1 0
CT075/prezto
The configuration framework for Zsh
Language:Shell1 0
CT075/shifted-names-agda
A library for representing syntax with shifted names
Language:Agda
CT075/SkillSystem_FE8
Language:Assembly
CT075/tmc-randomizer
The Legend of Zelda: The Minish Cap Randomizer
Language:C#1 0
CT075/www-research
Language:HTML1 0