penrosetiles Goto Github PK

6.824

Implementation for MIT 6.824 Distributed System

amplification

An implementation of iterated distillation and amplification

c-ece-551

Assignments for ECE 551 under Prof Drew Hilton

ci-cloudtutorial

Tutorial for Cloud CI

col776-pgm

Projects for Probabilistic Graphical Models course at IIT Delhi

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

crypto

Crypto Software and Notes

cs228_pgm

🌀 Stanford CS 228 - Probabilistic Graphical Models

cse-599w-2018

My Assignment for CSE 599w http://dlsys.cs.washington.edu/

ece496tutorials

This repo contains tutorials and notebooks for ECE 496

functional-programming

algorithms in SML

gimmicks

Just some little gimmicks

graphical-models-from-scratch

Python implementations of graphical models

jit30min

keras-io

Keras documentation, hosted live at keras.io

lightmcmc

Basic Python implementation of the Church MCMC algorithm.

linear-programming

llvm_compiler_optimizations

LLVM Compiler Optimization Course Repo for Ashwin and SengMing (VT ECE5984)

mm-api

remote scripting interface for Autodesk meshmixer

penrosetiles.github.io

Personal Blog

pgmpy

graphical models representation in Python

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

rl-library

Numpy implementations of traditional RL algorithms

scraper

Selenium Scripts to scrape data from Research Triangle Park and UIUC website

sml-util

A handful of potentially useful crap for Standard ML

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

systemprogramming

Angrave's Crowd-Sourced System Programming Book used at UIUC

tensorflow2.0_tutorials

Lightning tutorials for Tensorflow 2.0

tigercompilersml

A compiler for the Tiger language written in Standard ML