Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Repository Index
47,133 repositories indexed
1,033–1,056 of 1,245 · Most stars
Elixir Indifferent access on maps/lists/tuples with custom key transforms.
- elixir
- phoenix
- indifferent-access
- parameters
This shard provides facilities for checking whether a constant exists at compile time, and for a variety of different conditional compilation options. Code can be conditionally compiled based on the existence of a constant, version number constraints, or whether an environment variable is set truthy or not.
- crystal
Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.
- bindbc
- lua
- lua-bindings
- dlang
Dynamic bindings to the CUDA library for the D Programming Language.
Ada binding for the Pebble Time smartwatch
GLFW bindings for Haxe
WIP Vulkan API bindings for Deno
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Haskell bindings to Colin Percival's scrypt implementation.
Crystal bindings to ImGui-SFML
Android add for sending accelerometer data in influxdb
Split large SQL dump files into individual table files. Fast, memory-efficient, multi-dialect.
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
React SDK for Muze charting Library
- muze
- react
- react-applications
- datamodel
Common Lisp bindings to the C++ NDB API of RonDB
Tmux utilities that enable sending lines, capturing content, creating terminals, and managing REPLs within Neovim.
Not just a UI plugin — manage the cognitive load of your own Neovim setup
- developer-tools
- keybindings
- lua
- menu
Common Lisp bindings for Enchant spell-checker library
Crystal bindings for libxdo (xdotool)
- crystal
- libxdo
- x11
Crystal binding generator for raw SDL 3 methods
- binding-generator
- bindings
- sdl
- sdl3
as3pathfinder is a Grid Path finding Library written on Action Script 3. It is finding shortest route from start point to end on a 2D grid for given map of obstacles. Utilizes Dijkstra's algorithm.
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
Rust bindings for AG Grid