cpressey/LCF-style-ND

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Created almost 3 years ago
Updated about 1 year ago

cpressey/LCF-style-ND

cpressey

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

Facts-about-State-Machines

I hold the opinion that state machines are underrated

ncurses_programs

git-ification/cleanup of the source code for "NCURSES Programming HOWTO".

Some-Papers-I-Really-Liked

I refer you to the name of the repository

NaOpGenMo

National Opera Generation Month: spend (what's left of) the month of November writing code that generates a 2.5+ hour long opera.

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.

Destructorizers

The destructorizer for booleans is quite popular. It's called "if"

NaOpGenMo-2015

National Opera Generation Month, 2015 edition: spend the month of November writing code that generates a 2.5+ hour long opera.

Ahead-of-Time-eval

Aggressive constant folding + eval = hygienic macros

Information-Hiding-in-Scheme

Some simple techniques for information hiding in R5RS Scheme

PolyRical

[WIP] Design for an architecture-agnostic macro assembler with advanced static analysis