Repos
19
Stars
22
Forks
6
Top Language
Python
Loading contributions...
Top Repositories
A highly optimized C version and a nonoptimized python implementation of Bruce Schneier's Twofish encryption algorithm
A sqlite command line shell that's optimized for data import and export
A formal verification framework implementation built upon my chooser repo stuff
The SkunkWeb Web application server (moved from sf.net)
The code that generates the pages I use for my Lihit a6 notebook
A Java Succession library.
Repositories
19The code that generates the pages I use for my Lihit a6 notebook
A highly optimized C version and a nonoptimized python implementation of Bruce Schneier's Twofish encryption algorithm
A Java Succession library.
No description provided.
A sqlite command line shell that's optimized for data import and export
Weaving utilities
A formal verification framework implementation built upon my chooser repo stuff
Solve constraint problems in a more prology kind of way - implementations in java, python, rust, typescript, and common lisp
A way to make custom sqlite "commands" for the command prompt
A comprehensive, feature-rich, open source, and portable, collection of Solitaire games.
Comedi standalone Linux kernel modules
The SkunkWeb Web application server (moved from sf.net)
Test suite for Markdown implementations
A lexing package for Common Lisp
My Emacs config stuff
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
Flight rules for git
Markup encoding and decoding for Common Lisp
Rebasing example, see link for the "script" of the talk