Pinned Repositories
480project-doenges-lou
NTRU-based homomorphic encryption (joint work w/ https://github.com/TxmszLou)
node-xxxtreme
make your source code XXXTREME!
petr4
Petr4: Formal Semantics for P4
hackedy's Repositories
hackedy/node-xxxtreme
make your source code XXXTREME!
hackedy/480project-doenges-lou
NTRU-based homomorphic encryption (joint work w/ https://github.com/TxmszLou)
hackedy/alcotest
A lightweight and colourful test framework
hackedy/bril
an educational compiler intermediate representation
hackedy/calyx
Intermediate Language (IL) for Hardware Accelerator Generators
hackedy/certicoq
hackedy/cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
hackedy/coq-dpdgraph
Build dependency graphs between COQ objects
hackedy/cs6120
advanced compilers
hackedy/egglog
egraphs + datalog!
hackedy/ezweatherxyz
hackedy/miniNExT
An extension layer that makes it easier to build complex networks in Mininet
hackedy/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
hackedy/p4-spec
hackedy/p4pp
P4 Preprocessor
hackedy/PG
Proof General
hackedy/pl.cs.cornell.edu
Website for PL@Cornell
hackedy/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
hackedy/StructTact
Coq utility and tactic library.
hackedy/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
hackedy/verdi
A framework for formally verifying distributed systems implementations in Coq
hackedy/YCSB
Yahoo! Cloud Serving Benchmark