wrapper for git that ensures the best settings for versioning Ableton Live projects

OpenMTP - Advanced Android File Transfer Application for macOS

A colored progress bar for FFmpeg.

A typeface of people sillhouettes, to make it easy to build web graphics featuring little people instead of dots.

A quick, simple tool for creating, viewing, and sharing spatial data

ARToolKit v5.x

a lil webpage that helps you write ffmpeg commands

361000 becomes "6 minutes, 1 second"

circles changing through time

The Udacity open source self-driving car project

YAD2K: Yet Another Darknet 2 Keras

Open-source simulator for autonomous driving research.

The home of our open-source projects.

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

A quick reference for mapping Coq tactics to Lean tactics

PixelRadio is a FM Radio Transmitter with RDS (Radio Data System) capabilities. It was developed for holiday "Pixel" displays and house projection installations.

An audio visualization tool for EDM.

DE Bench: Can Agents Solve Real-World Data Engineering Problems? Built to test Ardent's AI Data Engineer

3D FPS/Survival game

🐙

Logs related to my Recurse Summer 1 2024 Batch