Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
47,133 repositories indexed
5,305–5,328 of 6,286 · Most stars
Generic 2D grid
- astar-algorithm
- dda-algorithm
- dejkstra
- golang
Android library which provides a signature view.
- android
- java
A pure Crystal Vector Math library
- crystal
- vector
- quaternion
🌍 MQS: AMQP Library
MicroPython LoRa EBYTE E220 LLCC68 device library complete and tested with Arduino, esp8266, esp32, STM32 and Raspberry Pi Pico (rp2040 boards).
- arduino
- arduino-samd-boards
- e220
- ebyte
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
D library for converting any custom types to and from JSON the painless way.
A statistics library for D.
A library of MvvmCross/Xamarin Plugins and sample applications
"Hidennotare" is a source that people in RelaxTools slowly simmered.
- vba-library
- vba
Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.
A library for scheduling when to dispatch a message to a channel
Libmemcached library support for Amazon ElastiCache Memcached Cluster for PHP. The client is available at https://github.com/awslabs/aws-elasticache-cluster-client-memcached-for-php.
Telegram Bot C++ Library
A SpriteSheet and Tileset helper library for Love2D (handles Tilemaps as well)
- love2d-library
- spritesheet
- love2d
- tilesets
Phonetic pattern matching library for Common Lisp
Firebase implementation for Micropython optimized for ESP32
- micropython
- micropython-esp32
- firebase-realtime-database
- micropython-lib
A library that brings all the CSP joy to the Elixir land.
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
e-Ink library for Waveshare 4.3inch device on MicroPython
Plugins for ImageJ - color space conversions and color calibration
- ijp-color
- scala
- imagej
- sbt-imagej
Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.
- android
- java
- python
- scipy
BGP4R is a BGP-4 ruby library to create, send, and receive BGP messages in an object oriented manner.