Relation algebra library for Coq
Repository Index
47,133 repositories indexed
7,105–7,128 of 8,961 · Most stars
A simple graph library for java
- java
- graphs
- graph
- graph-algorithms
Ada-language framework
- ada
- ada-language
- arm
- avr
A library, which adds the ability to hide navigation bar when view controller is pushed via hidesNavigationBarWhenPushed flag
HotPlex — Unified access layer for AI Coding Agent.
- ai-agent
- claude-code
- gateway
- go
My algorithmic trading strategies with the Gekko cryptocurrency trading bot.
- gekko-strategies
- trading-strategies
- machine-learning-algorithms
- neural-networks
An RQT plugin for hierarchical launchfile configuration introspection.
Natural language for repeating dates
- natural-language
- elixir
- parsing
- live-demo
nengi+babylon template of a 3d shooter with client-side prediction and lag compensation
A fast, simple, memory-efficient graph layout algorithm for visualizing networks in D3
- javascript
- d3js
- graph
- visualization
Capacitor plugin that allows camera interaction from Javascript and HTML
Arduino library for ESP32 that implements an SSH client to connect and execute commands in a remote Server.
CouchDB adapter for Kitura
- kitura
- couchdb
- couchdb-client
- cloudant
Utilities for using Tinkerpop3 via the node-java API in Typescript
🗺️ List of GeoJSON invalid geometry issues with example files
Fast and storage-efficient spatial database engine for OpenStreetMap data
A nicer interface for golang stdlib HTTP client
- golang
- http
- http-client
- client
websocket client pure lua implement for love2d
- websocket
- client
- websocket-client
- lua
The simplest way to display the librarie's licences used in your application.
A UI toolkit that extends Wagtail's admin list views and allows you to build custom filters, buttons, panels and more
A customized video view that will automatically pause video is user is not looking at device screen!!!!!
Open-source streaming SQL engine written in Rust using Apache Arrow and DataFusion. Supports continuous queries, temporal stream joins, tumbling/session windows, and CDC/Kafka connectors. Lightweight, embeddable, and sub-microsecond latency
A fast and accurate rule-based sentence segmentation tool for Ruby.
MicroPython IEEE802.15.4 / Zigbee parser