6 open source projects by zv

1. Tree
Procedural trees
2. Sicp Guile
SICP in Guile & Emacs Lisp
✭ 497
racket
4. SHA3ImplementedInsideofaRARfile
The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
5. btcfs
Use the blockchain as a filesystem in Plan9
6. z3-mode
An interactive development environment for SMT-LIB files and Z3
1-6 of 6 user projects