Repository Index

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

Cross-platform GitHub contribution streak and statistic tracking menu bar application with reminder notification

• github
• contribution
• streak
• contribution-graph

📺 Remote control your TV via JS!

Data Quality and Observability platform for the whole data lifecycle, from profiling new data sources to full automation with Data Observability. Configure data quality checks from the UI or in YAML files, let DQOps run the data quality checks daily to detect data quality issues.

• data-ops
• data-quality
• data-quality-checks
• data-quality-measurement

Automated Testing for Set-Top Boxes and Smart TVs

• python
• test-automation
• set-top-box
• remote-control

Low-latency remote desktop for macOS and Linux. Control your computer from an iPad or any browser with ~20 ms delay. Free, open source, no app to install. curl -fsSL glassdesk.dev | sh

• ipad
• macos
• remote-desktop
• rust

Prerender Ember apps with Fastboot at build time.

Very simple yet powerful and extensible Object Document Mapper for RethinkDB, written in Python.

• rethinkdb
• python
• object-document-mapper

AI video factory: from one topic to a finished, multilingual YouTube video. Claude agents write, plan, draw and review; a Studio keeps the human in charge.

• ai-video
• animation
• claude
• remotion

Free, open-source smart TV remote for Android and iPhone. Custom layouts, local Wi-Fi control, and English/Russian interfaces. MIT licensed.

Nagios remote agent

A media server that holds no media. One install serves Plex, Jellyfin, Emby, Infuse, Swiftfin, Silo and Stremio apps, streaming the TMDB catalogue on demand from your debrid accounts or Usenet.

• debrid
• emby
• infuse
• jellyfin

An expansible unit conversion library for .NET: exact definitions, synonym-based unit names and no dependencies.

• unit-conversion
• csharp
• nuget
• nuget-package

Unofficial implementation of the Google Chrome Remote Debugger in Go

A fast, forgiving GTFS reader built on pandas DataFrames

• python
• pandas
• gtfs

SimpleAI is a small C++ AI behaviour tree based library with a QT5 based remote debugger (and with optional LUA bindings) released under MIT.

• header-only
• cpp-library
• game-development
• qt5

ThisMyPC provides a neat web interface that can be used for browsing your desktop drives from any device in your browser itself. With the help of NodeJs, the file details are displayed in JSON format that can then we easily displayed in web browsers.

• nodejs
• electronjs
• electron
• electron-app

Run transformers directly on Apple's Neural Engine in Swift bypass coreml entirely

• ane
• apple
• apple-neural-engine
• neural-engine

A native PC port of Call of Duty: Finest Hour (original Xbox) with a remastered renderer

A Car Recognition Framework for CoreML

HTTP remote procedure call handler for Clojure.

The LinkedIn Fairness Toolkit (LiFT) is a Scala/Spark library that enables the measurement of fairness in large scale machine learning workflows.

• fairness
• fairness-ml
• fairness-ai
• linkedin

A python Two Source Energy Balance model for estimation of evapotranspiration with remote sensing data

• source-energy-balance
• canopy
• soil
• radiometric-temperatures

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine