A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Repository Index
71,865 visible repositories in the index
6,049–6,072 of 6,789 · Most stars
Mini graphics libraries for love2d
A set of open source Python libraries for translating custom real-time transit data to the GTFS-rt format
Lightweight Interrupt-driven Semtech SX127x Library for MicroPython
A fluent take on serializer libraries
- dotnet
- json
- xml
- hacktoberfest
Yet another Bloomfilter implementation in Go, compatible with Java's Guava library
- bloomfilter
- bloomfilter-go
- golang
- golang-library
A Java library to help in implementing GTFS-realtime data sources.
An update of Scott Raymond's insanely easy flickr library
MusicXML parsing and layout library
Monadic Assertions library
Helper to upload Gradle Android Artifacts, Gradle Java Artifacts and Gradle Kotlin Artifacts to Maven repositories (JCenter, Maven Central, Corporate staging/snapshot servers and local Maven repositories).
- jcenter
- mavencentral
- maven-repository
- maven
MicroPython library for reading Grow and ZhianTec finger print sensors.
- micropython
- fingerprint-sensor
- esp32
- pyboard
A simple Elixir parser for the same kind of files that Python's configparser library handles
Supercharge your environment variables in Elixir. Parse and validate with compile time access guarantees, defaults, fallbacks and app pre-boot validations.
- elixir
- elixir-library
- environment-variables
GRX 3 Graphics Library
golang library for textbelt.com
micro webGPU rendering & compute library
- webgpu
- wglsl
- 3d
- computer-graphics
Python library to drive Pololu Tic stepper motor controllers
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
A Rust library providing components based on the bulma css library for projects using the yew front-end web development framework.
graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
A general-purpose message and event queuing library for MongoDB
Simple grid layout library for LÖVE engine (Love2D). Lua positive.