drewcsillag Goto Github PK

chooser

Solve constraint problems in a more prology kind of way - implementations in java, python, rust, typescript, and common lisp

chtla

A formal verification framework implementation built upon my chooser repo stuff

comedi

Comedi standalone Linux kernel modules

emacsconfig

My Emacs config stuff

git-flight-rules

Flight rules for git

lexer

A lexing package for Common Lisp

markup

Markup encoding and decoding for Common Lisp

mdtest

Test suite for Markdown implementations

notepaper

ph21d

A mostly complete imitation of an HP12c financial calculator that has known bugs that I used to do a saveable-to-homescreen app using modern stuff

pysolfc

A comprehensive, feature-rich, open source, and portable, collection of Solitaire games.

rebaseit

Rebasing example, see link for the "script" of the talk

skunkweb

The SkunkWeb Web application server (moved from sf.net)

sqlite_api

A way to make custom sqlite "commands" for the command prompt

sqlp

A sqlite command line shell that's optimized for data import and export

twofish

A highly optimized C version and a nonoptimized python implementation of Bruce Schneier's Twofish encryption algorithm

weaving_util

Weaving utilities