List of papers studying machine learning through the lens of category theory

Network support for the Lua language

Oboe is a C++ library that makes it easy to build high-performance audio apps on Android.

Make websites accessible for AI agents

🤖 Assemble, configure, and deploy autonomous AI Agents in your browser.

Mother of All BCI Benchmarks

An Open Source YouTube app for privacy

Invidious is an alternative front-end to YouTube

Low-dimensional linear models for nonlinear dynamics

Deep learning software to decode EEG, ECG or MEG signals

Unauthorized Winamp fork for funnies

Lean 4 programming language and theorem prover

The math library of Lean 4

The "batteries included" extended library for the Lean programming language and theorem prover

Helper toolkit for creating your own Lean 4 UserWidgets

Experiments in automation for Lean

Distribution site for Noto fonts

Simplifying reinforcement learning for complex game environments

Official mirror of Rubber Band Library, an audio time-stretching and pitch-shifting library.

The new Windows Terminal and the original Windows console host, all in the same place!

Fully portable & lightweight ZIM reader in Javascript

Nested copies made easy in Kotlin

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

JNI Bind is a set of advanced syntactic sugar for writing efficient correct JNI Code in C++17 (and up).

A Pure Python Suite of Algorithms to Stretch Audio Duration and/or Pitch

Standalone client for proxies of Opera VPN

WebExtensions for translating text on web pages

Dolt – Git for Data

Audio time stretch and pitch shift library. Enables music tempo adjustment, transposition, "smooth scrub" and "live pause".

Bring portraits to life!