NYU's Introduction to Deep Learning Research

A collection of materials relating to technical writing

A complete library of resources that caters to all levels of Roboticists.

A course on imprecise probabilistic machine learning

GitHub Action and image for nand2tetris tasks grading.

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Monorepo for Javascript WebAssembly packages by Wasmer

Next Generation Visual Programming System

Assignments for CS146S: The Modern Software Dev (Stanford University Fall 2025)

"DeepTutor: AI-Powered Personalized Learning Assistant"

The same app, built multiple times in different React frameworks for apples to apples comparisons.

High-level tracing language for Linux

VMM userspace for illumos bhyve

An open-source Unix operating system

The math library of Lean 4

A simple and easy-to-use library to enjoy videogames programming

Lower-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the hot p…

The GRITSBot's circuit board designs, bill of materials, hardware specifications, and 3D design files

The BusTub Relational Database Management System (Educational)

The Robot Operating System, is a meta operating system for robots.

Webots Robot Simulator

K-Sim Gym: Making robots useful with RL. Built on top of K-Sim.

Use any web browser or WebView as GUI, with your preferred language in the backend and modern web technologies in the frontend, all in a lightweight portable library.

Windows Subsystem for Linux

Writing AI Conference Papers: A Handbook for Beginners

Creates an AWS DeepRacing training environment which can be deployed in the cloud, or locally on Ubuntu Linux, Windows or Mac.

Assistive Gym, a physics-based simulation framework for physical human-robot interaction and robotic assistance.

Official code repo for the MARL book (www.marl-book.com)