Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
3,769–3,792 of 4,484 · Most stars
American Sign Language Detection is a deep learning end to end project where we can detect American Sign Language.
- asl
- keras
- tensroflow
- tflite
A wrapper for Actionscript 3.0's NetGroup and RTMFP Multicasting abilities to create quick P2P multiplayer games over local networks or Adobe Cirrus
A tool that converts Bitwarden's data into a hashcat-suitable hash
Lightweight AI agent runtime for Go. Define multi-agent crews in YAML, run them with goroutines and channels, and let the runtime handle scheduling, parallelism, retries, and observability — without leaving the Go ecosystem.
D binding to c-imgui
- imgui
- bindbc
ELF packer - encrypt and inject self-decryption code into executable ELF binary target
- 42
- elf
- injection
- shellcode
Comprehensive guides to GTFS and GTFS Realtime
Create a Draft.Decorator simply, with more flexibility than Draft.CompositeDecorator
Z-stack Depth Colorcode ImageJ FIJI plugin
- imagej-plugin
- colorcode
- fiji
- imagej
CMake module for building IDL files with MIDL and generating CLR DLL using Tlbimp
- cmake
- cmake-module
- idl
- com-object
Dojox Application Framework for mobile, tablets, and desktops
Helpers that allow you to write backwards compat Ember addons
National Vulnerability Database (NVD) implemented by rust
- cpe
- cve
- cvss
- nvd
This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon
An interactive Swift Playground Book about Binary Search Trees (WWDC 2017 Scholarship winner)
- wwdc-scholarship
- wwdc2017
- swift-playgrounds
- ipad
Tags generator/management for old school vimers in Neovim.
- lua
- neovim
- neovim-plugin
- plugin
Low level implementation of the k-rpc network layer that the BitTorrent DHT uses
SimpleNLG-EnFr 1.1 is a bilingual English/French adaption of SimpleNLG v4.2
MIRNet model is used to enhance a low-light image. Implemented MIR-Net model with TF-Lite.
- tflite
- mirnet
- tensorflow2
- tfhub
Phalcon 3, PHP7, Docker sample starter application
Yeoman generator for creation Hybrid Mobile Application (based on Cordova/Phonegap)
ATBinHex viewer for streams of unlimited size
A curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
- compose
- developer-tools
- development
- docker