Repository Index

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.

Modern desktop application (Rust + Tauri v2 + Svelte 5 + Candle (HF)) for communicating with AI models that runs completely locally on your computer. No subscriptions, no data sent to the internet — just you and your personal AI assistant

• ai-chat
• artificial-intelligence
• candle
• chatbot

A collection of awesome things regarding the Power Platform ecosystem.

• tutorials
• samples
• awesome
• awesome-list

Run basic functions from stripped binaries cross platform

A cross-platform desktop and web app to translate and validate SRT subtitles using your existing LLM subscriptions (Gemini, ChatGPT, Claude, etc.) via CLIProxyAPI - no API keys needed.

• gemini
• chatgpt
• claude
• cli-proxy

Cross-Platform, Efficient easy to integrate crash reporting library for modern C++

• cpp
• crash-handling
• crash-reporting
• debugging

A Cross-Platform UI Library

• gui
• ui
• ui-library
• v

A multi-platform library to create a Vulkan window, and handle input events.

Ballerina mysql Module

• ballerina
• mysql

Cross platform Xamarin Plugins

Functional HTML5 and XML library for the Scala platform

• scala
• web-development
• scalajs
• scala-native

A dumping ground for my files I use with this awesome crypto currency trading platform https://github.com/askmike/gekko

A curated list of awesome IBM Cloud SDKs, open source repositories, tools, blogs and other resources.

• awesome-list
• awesome
• ibm-cloud
• ibm-bluemix

A set of custom controls for the WinUI and the Uno Platform not offered out of the box by WinUI, such as Card, TabBar, NavigationBar, etc.

• uno
• uno-platform
• webassembly
• wasm

The Gemini CLI confirmed that the MCP server built with Google Apps Script (GAS), a low-code platform, offers immense possibilities. If you've created snippets for GAS, these could be revitalized and/or leveraged in new ways by using them as the MCP server. The Gemini CLI and other MCP clients will be useful in achieving this.

• gas-library
• google-apps-script
• google-apps-script-library
• google-workspace

Google Pub/Sub client for Elixir

• pubsub
• google-cloud-pubsub
• google-cloud-platform
• gcp

Maintain the source code for GraphQL related tools.

• ballerina

zero-dependency cross-platform builder for LÖVE to export games to Windows, MacOS, and Linux

• love2d
• lua
• build-tools
• love

Elixir library client for work with ClickHouse

• clickhouse
• elixir
• driver
• hex

Ballerina MQTT Module.

• ballerina
• hacktoberfest
• integration
• iot

TMX is a modern desktop terminal client for SSH workflows, built on Electron + React. It bundles a real persistent terminal (node-pty / ssh2 / xterm.js), a host manager, SFTP, snippets, an AI copilot and a built-in MCP server into a single cross-platform app (macOS / Windows / Linux).

An arcade platformer homebrew game for the Game Boy, Game Boy Color and Super Game Boy

• game-boy
• gbdk
• sdcc
• game-boy-color

A platform for real-time streaming search

• storm
• lucene
• luwak
• streaming-search