cpressey
Unhappy ex-GitHub product who made like a turn and left. Using a non-profit code host instead now. Follow me if you dare.
Office... submarine!
Pinned Repositories
Facts-about-State-Machines
I hold the opinion that state machines are underrated
LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
NaOpGenMo
National Opera Generation Month: spend (what's left of) the month of November writing code that generates a 2.5+ hour long opera.
ncurses_programs
git-ification/cleanup of the source code for "NCURSES Programming HOWTO".
Nested-Modal-Transducers
What do you get when you cross Statecharts with The Elm Architecture?
Operation-Match-Github
Find Github users with similar tastes, based on what repos they star [Public domain]
Some-Games-of-Note
MOVED to https://codeberg.org/catseye/The-Dossier/src/branch/master/article/Some-Games-of-Note#some-games-of-note : A catalogue of games that I consider notable in some way. Most can be played online at archive.org.
Some-Papers-I-Really-Liked
I refer you to the name of the repository
cpressey's Repositories
cpressey/Facts-about-State-Machines
I hold the opinion that state machines are underrated
cpressey/ncurses_programs
git-ification/cleanup of the source code for "NCURSES Programming HOWTO".
cpressey/Some-Papers-I-Really-Liked
I refer you to the name of the repository
cpressey/NaOpGenMo
National Opera Generation Month: spend (what's left of) the month of November writing code that generates a 2.5+ hour long opera.
cpressey/Nested-Modal-Transducers
What do you get when you cross Statecharts with The Elm Architecture?
cpressey/Operation-Match-Github
Find Github users with similar tastes, based on what repos they star [Public domain]
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
cpressey/Some-Games-of-Note
MOVED to https://codeberg.org/catseye/The-Dossier/src/branch/master/article/Some-Games-of-Note#some-games-of-note : A catalogue of games that I consider notable in some way. Most can be played online at archive.org.
cpressey/Destructorizers
The destructorizer for booleans is quite popular. It's called "if"
cpressey/NaOpGenMo-2015
National Opera Generation Month, 2015 edition: spend the month of November writing code that generates a 2.5+ hour long opera.
cpressey/Ahead-of-Time-eval
Aggressive constant folding + eval = hygienic macros
cpressey/Information-Hiding-in-Scheme
Some simple techniques for information hiding in R5RS Scheme
cpressey/PolyRical
[WIP] Design for an architecture-agnostic macro assembler with advanced static analysis
cpressey/Timeline
A tool for creating SVG timelines from simple JSON input.
cpressey/clean-code-javascript
:bathtub: Clean Code concepts adapted for JavaScript
cpressey/containerized-hastec
Run the Haste compiler almost as if you had it installed locally
cpressey/cpressey
Hey, check it out, if you create a repository named like this, it shows up on your profile
cpressey/cyk-js
Implementation of Cocke–Younger–Kasami parsing algorithm in JavaScript
cpressey/Durito
cpressey/MMD0-tools
(WIP) Tools for examining/converting MMD0 (Amiga MED module) files [Public domain]
cpressey/mmverify.py
Metamath verifier in Python
cpressey/MUTANST
A mutant text generator
cpressey/reStructuredTest
Just testing how GitHub renders files written in reStructuredText
cpressey/The-Shortbread-Rocketship
A generated opera in three acts, for NaOpGenMo
cpressey/tideay
Hardfork of pfh's yaedit, twisted to suit my personal editing proclivities
cpressey/z80emu
A free portable Z80 emulator.