geohot

fromthetransistor

From the Transistor to the Web Browser, a rough outline for a 12 week course

ipwndfu

open-source jailbreaking tool for many iOS devices

twitchcoq

It's a poorly named metamath verifier

hammer-website

pie

Computing digits of pi for the people

solidity

haskell-scheme

Writing Scheme in Haskell

coq-hardy

Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

openpilot

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for over 100 supported car makes and models.

freethedsp

For winners only. Are you a winner?

minGPT

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

twitchcoins

carla

Open-source simulator for autonomous driving research.

semantic-segmentation

Improving Semantic Segmentation via Video Propagation and Label Relaxation

comma10k

10k crowdsourced images for training segnets

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

manticore

Symbolic execution tool

optimism-monorepo

🐙 Optimism Monorepo 🐙 Optimistic Rollup & the OVM 🐙

adaptive-span

Adaptive Attention Span in Transformers

pyopencl

OpenCL integration for Python, plus shiny features

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

mmj2

mmj2 GUI Proof Assistant for the Metamath project

pixie

The open-source files comprising Leap Motion's Project North Star AR Headset.

img-labeler

appnope

Disable App Nap on OS X 10.9

erigon

Ethereum implementation on the efficiency frontier

gpysieve

ghetto sieves in python that don't work

ipykernel

IPython Kernel for Jupyter

solc-js

Javascript bindings for the Solidity compiler

Waffle-ERC20-Example

A simple ERC20 token project in Waffle to get started with the OVM