lostkingdom4 Goto Github PK

csci570finalproject

ee355

ee595finalreport

hackers-delight

Code to accompany Hacker's Delight 2nd Edition by Henry S Warren. PS: Will have my notes etc when I go through it.

metisfl

MetisFL is a federated learning framework that allows developers to easily federate their machine learning workflows and train their models across distributed data silos without ever collecting the data in a centralized location. The core of the framework is written in C++ and focuses on scalability, speed and resiliency.

pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

prgeq

Repo for program equivalence generation and analysis scripts

progres