Pinned Loading

1. cryptor cryptor Public

   Simple elf packer with userland exec

   C 2 3

2. trans trans Public

   lexical analyzer generator

   C

3. higer higer Public

   Tiger compiler written in haskell

   Haskell 1

4. mini-redis-c mini-redis-c Public

   Key value database written in c

   C

5. binary-tree-agda binary-tree-agda Public

   Provably correct indexed binary search tree

   Agda

6. nanomites nanomites Public

   Crackme with nanomites

   C 1