Repository Index

FloatingActionSheetController is a cool design ActionSheetController library written in Swift2.

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

• coq
• serialization
• json
• sexp

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

SBT Plugin to ease working with JNI

• sbt-plugin
• jni
• scala
• sbt

A Node-RED node to interact with Siemens S7 PLCs

• plc
• siemens-s7-plcs
• node-red

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

zikojs is a javascript library with a focus on making coding effortless .

• javascript
• math
• ui
• zikojs

House Control on Android phones and tablets: your home as a live 3D model — lights, ACs and scenes via Smart Life, Home Assistant and Philips Hue. No Mac needed.

• android
• android-widget
• home-assistant
• home-automation

A Lean formalization of the Stacks Project

💸 Crypto Payments straight to your wallet. DePay simplifies Web3 integration for developers, harnessing DeFi to accept any token effortlessly. Integrate frictionless, real-time token conversion with sleek, customizable widgets designed for seamless user experience.

• blockchain
• payment
• widgets
• react

Grok Bot companion for T3 Code.

• ai-agents
• developer-tools
• t3code

Blazing fast GraphQL discovery & fingerprinting toolbox.

• discovery
• fingerprinting
• graphql
• graphql-tools

TranslatedA second modification of the Firefly theme, a new theme called Aemeath

• aemeath

A drone flight over the Na Pali coast, rendered entirely in code. No textures, images or models.

• claude-code
• generative-art
• glsl
• procedural-generation

Power Platform Adoption Framework

• powerplatform
• powerapps
• powerbi
• powerautomate

The repository host gives no description.

extremely fast web server

LUIS (Love2D UI System) is a flexible graphical user interface (GUI) framework built on top of the Löve2D game framework. LUIS provides developers with the tools to create dynamic, grid-centric, layered user interfaces for games and applications.

• framework
• gui
• love2d
• love2d-gui

pytest-vw makes your failing test cases succeed under CI tools scrutiny

An async / await friendly debugging client for chrome

A fun McDonald's personality test powered by MBTI logic.

Open-source customizable homelab dashboard

• account-management
• dashboard
• services
• homepage

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012

Provides a unified interface to local and remote authentication systems.

• aura
• authentication
• authenticator
• login