Popular repositories

1. CryptoBook CryptoBook Public

   Learning Cryptography, math and programming with Cryptol (and maybe some Python)

   Python 93 3

2. Haskell-PDF-Parsing-Library Haskell-PDF-Parsing-Library Public

   Library for parsing, transforming and producing PDF files

   Haskell 24 5

3. itsy-forth itsy-forth Public

   Forked from kt97679/itsy-linux

   MacOS port of Linux port of itsy forth by John Metcalf

   Assembly 8 3

4. XFM2interface XFM2interface Public

   An Arduino interface to the XFM2 FPGA-based FM synthesizer

   C 6 1

5. cs393_vm_api cs393_vm_api Public

   Virtual memory abstraction & methods for constructing, accessing, manipulating and destroying address spaces

   Rust 4 28

6. pidp8 pidp8 Public

   Oscar Vermeulen's PiDP-8 fork of SIMH

   C 3