4-day longest streak
-
twofish
A highly optimized C version and a nonoptimized python implementation of Bruce Schneier's Twofish encryption algorithm
C ★ 20 1y agoExplain → -
rlm-claude
Implemented the Recursive Language Model paper for Claude Code
Python ★ 4 2mo agoExplain → -
sqlp
A sqlite command line shell that's optimized for data import and export
Python ★ 2 2y agoExplain → -
Qwen36BA3B-M1MacBook
A good way to run Qwen 3.6 36B A3B on an M1 Macbook
Shell ★ 1 2mo agoExplain → -
chtla
A formal verification framework implementation built upon my chooser repo stuff
Python ★ 1 3y agoExplain → -
skunkweb
The SkunkWeb Web application server (moved from sf.net)
Python ★ 1 11y agoExplain → -
chooser
Solve constraint problems in a more prology kind of way - implementations in java, python, rust, typescript, and common lisp
Rust ★ 0 1mo agoExplain → -
pocket_notebook
The code that generates the pages I use for my Lihit a6 notebook
Python ★ 0 9mo agoExplain → -
jan20 ⑂
A Java Succession library.
★ 0 8y agoExplain → -
notepaper
No description.
Python ★ 0 1y agoExplain → -
weaving_util
Weaving utilities
Python ★ 0 2y agoExplain → -
sqlite_api
A way to make custom sqlite "commands" for the command prompt
★ 0 3y agoExplain → -
PySolFC ⑂
A comprehensive, feature-rich, open source, and portable, collection of Solitaire games.
★ 0 3y agoExplain → -
comedi ⑂
Comedi standalone Linux kernel modules
★ 0 3y agoExplain → -
mdtest ⑂
Test suite for Markdown implementations
★ 0 4y agoExplain → -
lexer ⑂
A lexing package for Common Lisp
★ 0 4y agoExplain → -
emacsconfig
My Emacs config stuff
★ 0 4y agoExplain → -
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
TypeScript ★ 0 4y agoExplain → -
git-flight-rules ⑂
Flight rules for git
★ 0 4y agoExplain → -
markup ⑂
Markup encoding and decoding for Common Lisp
★ 0 11y agoExplain → -
rebaseit
Rebasing example, see link for the "script" of the talk
★ 0 10y agoExplain →
No repos match these filters.