Video Editor for AI agents, built on the belief that open source can beat commercial tools
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
- moon
- coordinates
- longitude
- latitude
🤖 Repeat tests. Repeat tests. Repeat tests.
- testing
- test
- test-automation
- data-driven
Fast cartesian product
- cartesian
- cartesian-product
- performance
- sets