revalo's Stars
spipm/Depix
Recovers passwords from pixelized screenshots
mitmath/1806
18.06 course at MIT
mit-pdos/biscuit
Biscuit research OS
google-deepmind/bsuite
bsuite is a collection of carefully-designed experiments that investigate core capabilities of a reinforcement learning (RL) agent
siliconcompiler/siliconcompiler
Modular hardware build system
holepunchto/hyperbeam
A 1-1 end-to-end encrypted internet pipe powered by Hyperswarm
DylanCope/Evolving-Protozoa
An interactive environment where protozoa-like entities live, die, and have offspring whose behaviours and morphologies can change.
michaelhodel/arc-dsl
Domain Specific Language for the Abstraction and Reasoning Corpus
google-deepmind/nanodo
michaelhodel/re-arc
Reverse Engineering the Abstraction and Reasoning Corpus
facebookresearch/minimax
Efficient baselines for autocurricula in JAX.
charlielito/install-dlib-python-windows
Easy installation of dlib python bindings in windows
automerge/automerge-py
battlecode/bc18-scaffold
omegablitz/chunky
MIT 6.824 Spring 2018 Final Project - A distributed game framework - demo is on top of Minecraft
origamimagiro/flat-folder
Software to compute and analyze flat-folded states of crease patterns
techx/faqbot
:question: An email bot to answer FAQ
HumanCompatibleAI/leela-interp
Code for "Evidence of Learned Look-Ahead in a Chess-Playing Neural Network"
nmoroze/kronos
My MEng thesis code - verifying a security property for an SoC with Rosette
robertvunabandi/guide-on-mitopenid
How to set up OAuth 2.0 from MIT OpenID using Passport.js and selected guides on understanding OAuth 2.0.
jynnie/spectre-app
Collaborative flashlight mod for desktop (Electron component)
arxenix/chrome-ublock-detection
timing side-channel to detect uBlock origin in chrome
DylanCope/reproducible_figures
Small utility for creating reproducible figures with matplotlib
rgarc/go-trace
Peter Shirley's "Ray Tracing in One Weekend" ported to Go as a learning exercise.
robertvunabandi/closest-strings-challenge
A challenge to make this basic closest-strings program more efficient.
elizdet/HackMIT2018
robertvunabandi/digital-inputter
This class helps with simple and complex mathematical logic computations (bitwise arithmetic). Supports NOT, NOR, NAND, AND, OR, IMPLIES, XOR, and IFF.
christinekc/hackmit_puzzle2017
omegablitz/BNN-PYNQ
robertvunabandi/python-watcher
A very simple watcher. Code is literally <90 lines (and could be much shorter).