Repository Index

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)

• actions
• bugbounty
• cicd

Debug menu for happy android dev

• android-library
• stetho
• leakcanary
• lynks

Fast & easy-to-use A* module written in Lua

• lua
• love2d
• pathfinding

The repository host gives no description.

A game engine with multiple backends, written in V

• game-engine
• vlang
• vulkan

D binding to the Allegro5 game development library

TurboPack MustangpeakEasyListview is part of VirtualShellTools for the Listview but can be used for a TListview Replacement that is faster and more customizable.

eds-scikit is a Python library providing tools to process and analyse OMOP data

• data-science
• omop
• python
• clinical-data-warehouse

Give your AI agent a wallet, email, phone number, and instant access to paid MCP tools — web search, image/video/music gen, X search, SMS, voice calls, code execution, and more. Works with Gemini CLI, Claude, and any MCP client.

• agent-tools
• ai-agent
• ai-payments
• gemini-cli

Improve default f/t hop abilities

Tracetool viewer, client Api for Dotnet, Java, Javasvript, C++ , Python, Delphi

Personal website

• r
• tidymodels
• tidyverse
• quarto

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

openFrameworks addon for the Canon EDSK

The repository host gives no description.

• ats
• open-source
• rails
• recruitment

Path-based dispatching for client- and server-side applications.

• web

A Svelte-based pivot table with grouping

Particle sensor manager for multiple sensors: Honeywell, Plantower, Panasonic, Sensirion, etc. This is sensors layer of CanAirIO project too.

• pm25
• co2
• library
• esp32

This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.

• anaconda
• jupyter-notebook
• python

Java SQL Formatter, Beautifier and Pretty Printer

• beautify
• formatter
• java
• mssql

t6 is a "Data-first" IoT platform to connect physical Objects with time-series DB and perform Data Analysis.

• home-automation
• iot
• iot-platform
• nodejs

C/C++ Memgraph Client

• memgraph
• c
• cpp
• client

Use MetaMask with Blazor WebAssembly

• blazor-webassembly
• metamask
• blazor
• dapps