Popular repositories Loading

1. twofish twofish Public

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

   C 15 4

2. sqlp sqlp Public

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

   Python 2

3. skunkweb skunkweb Public

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

   Python 1 1

4. chtla chtla Public

   A formal verification framework implementation built upon my chooser repo stuff

   Python 1

5. rebaseit rebaseit Public

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

   1

6. chooser chooser Public

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

   Rust