JavaScript in TypeScript

Official git repository for libdivide: optimized integer division

Multi-Joint dynamics with Contact. A general purpose physics simulator.

seeing how much better than brute-force NNs can do at factoring semiprimes

Sampling profiler for Python programs

Formal to Formal Mathematics Benchmark

Noise generator utility.

C++ Rendering Plugin example for Unity

Video and point cloud streaming over custom UDP protocol with hardware decoding (Unity example)

A web application that provides the like of the target account of Twitter as rss feed.

Fast Stepper Motor Library for Teensy boards

A web adaptation of the social deduction board game Secret Hitler, originally developed in early fall 2016. https://secrethitler.io

C++20 physics engine for robotics and animation with collision, constraints, and Python bindings

A superoptimizer for LLVM IR

C-Reduce, a C and C++ program reducer

Integrating Intel's Realsense cameras to the Moseq pipeline

Arduino HardwareSerial with attachInterrupt for RX chars

An Object-Oriented Platform for Arduino/AVR

3d printable Robot arm

A peer to peer machine intelligence benchmark

Internet-scale Neural Networks

Real-Time SLAM for Monocular, Stereo and RGB-D Cameras, with Loop Detection and Relocalization Capabilities

Tonic RL library

View synthesis for the public.

Code release for NeRF (Neural Radiance Fields)

[ICLR 2020] Contrastive Representation Distillation (CRD), and benchmark of recent knowledge distillation methods

Lossy version of Zdepth using video encoders

OpenTorque Actuator: A powerful, compliant actuator for legged robotics.

Single file C library for decoding MPEG1 Video and MP2 Audio

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected