Infrastructure for the next generation of voice agents, designed to provide universal memory. It is divided into a left brain and a right brain, storing information and emotions respectively, while a fully streaming architecture eliminates latency at the fundamental level.
Repository Index
67,762 visible repositories in the index
1,225–1,248 of 3,428 · Most stars
An app that lets you open .car files and browse/extract their images.
- objective-c
- quicklook
- asset-catalog
- quicklook-plugin
Pic Smaller – Compress JPEG, PNG, WEBP, AVIF, SVG and GIF images intelligently
- safe-compression
- compress-images
- offscreencanvas
- webassembly
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
SQL reporting that Just Works. Fast, simple, and confusion-free. Write and share queries in a delightful SQL editor, with AI assistance.
The DirectX Tool Kit (aka DirectXTK) is a collection of helper classes for writing DirectX 11.x code in C++
- microsoft
- directx
- directx-11
- cpp-library
A plain text note-taking assistant
Adafruit GFX graphics core Arduino library, this is the 'core' class that all our other graphics libraries derive from
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
A powerful and easy-to-use Go development framework that enables you to effortlessly build stable, reliable, and high-performance backend services with a "low-code" approach.
- gin
- grpc
- web
- cloud-native
Bypass DPI with IP/TCP-Header manipulation
PreloadJS makes preloading assets & getting aggregate progress events easier in JavaScript. It uses XHR2 when available, and falls back to tag-based loading when not.
POT : Python Optimal Transport
- optimal-transport
- numerical-optimization
- machine-learning
- emd
Home Assistant integration to manage climate systems, TVs, fans and lights using IR/RF controllers. Compatible with Broadlink, Xiaomi, MQTT, LOOKin and ESPHome
- iot
- smarthome
- homeassistant
- broadlink
Simple Android YouTube Music client with Material UI, Liquid Glass, Bit-Perfect playback, Automix, Lossless addons & advanced audiophile features.
- foss
- kotlin
- lastfm
- lyrics
A library for debugging/inspecting machine learning classifiers and explaining their predictions
- scikit-learn
- machine-learning
- xgboost
- lightgbm
Penetration tests guide based on OWASP including test cases, resources and examples.
- pentest
- bugbounty
- owasp-tests
- penetration-testing
Fluent testing assertions for Java and the JVM
- java
- typed-assertions
- testing
- assertions
TabFM (Tabular Foundation Model) is a pretrained tabular foundation model developed by Google Research for tabular data regression and classification.
A meaningful web typography starter kit.
Mac Media Keys for the Masses
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
The sassy UML diagram renderer
- nomnoml
- diagram
- uml
- flowchart
Collection of resources spanning key areas of Computer Science