Relation algebra library for Coq
Repository Index
47,133 repositories indexed
29,161–29,184 of 38,326 · Most stars
Exploring interactivity in Playgrounds in Xcode 7.3
A simple graph library for java
- java
- graphs
- graph
- graph-algorithms
Service discovery and querying of GraphQL schema's in Vert.x based microservices
- vertx-service-discovery
- vertx
- graphql
- microservices
Ada-language framework
- ada
- ada-language
- arm
- avr
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
- mysql
- postgresql
- sqlx
- databases
A library, which adds the ability to hide navigation bar when view controller is pushed via hidesNavigationBarWhenPushed flag
ShortUUID is a simple UUID shortener for Elixir.
- shortuuid
- elixir
- encoding
Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)
- anchor-link
- eos
- eosio
- eosio-signing-request
Time calculations using business hours
- elixir
- datetime
- holidays
- business-hours
HotPlex — Unified access layer for AI Coding Agent.
- ai-agent
- claude-code
- gateway
- go
Safe and easy way to use FileManager as Database
- iamrsalman
- filemanager
- swift
- ios
Simulate network link speed
Library and tool for reading, writing, and processing transit data
- gtfs
- gtfs-realtime
- transit
- mobility
Neovim plugin for IWE — markdown notes with LSP: search, backlinks, extract/inline refactoring, knowledge-graph navigation
A light CLI text editor/IDE written in Crystal
- crystal
- text-editor
- ide
- cli
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
Extracts photos from Game Boy Camera saves.
- extracts-photos
- libpng
- gameboy
- gameboy-camera
A component based game engine for AS3. Master version is currently 0.4.3. Please note, the dev branch is currently under heavy development for 0.5 and should be considered unstable. There will be a few breaking changes.
A library designed for alignment of text that is shown one character at a time
Simple Go ORM for Google/Firebase Cloud Firestore
- golang
- go-module
- orm
- firestore
Linear algebra library based on LAPACK
- lapack
- matrix
- crystal
- linear-algebra
OpenCL based GPU accelerated SPH fluid simulation library
Example Scala-Native application using third party libraries and a test suite