Pinned

1. Data-Structures-and-Algorithms Data-Structures-and-Algorithms Public

   A collection of some implementations of data structures and algorithms.

   C++ 107 92

2. z3-floating-point-proofs z3-floating-point-proofs Public

   Automated Proofs about floating-point numbers using Z3 Theorem Prover

   Python 7 2

3. picoctf-writeups picoctf-writeups Public

   Write-ups for PicoCTF tasks

   5 2

4. SwiftTyper SwiftTyper Public

   Offline version of games like type racer and 10fastfingers.

   5 2

5. Aasina Aasina Public

   This is the program I wrote in 2007 for a line-follower I built that ran on a Philips P89V51RD2 microcontroller

   C 2

6. ncc ncc Public

   Forked from spcl/ncc

   Neural Code Comprehension: A Learnable Representation of Code Semantics

   Python 2