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
18,793–18,816 of 22,187 · Most stars
Pythonic interface to the Internet Storm Center / DShield API.
- python
- library
- dshield
- sans
Boilerplate for web applications with a Node, Express, MongoDB backend and Backbone Marionette, Jade, Require.js frontend
Generic 2D grid
- astar-algorithm
- dda-algorithm
- dejkstra
- golang
Android library which provides a signature view.
- android
- java
Ada Embedded Network Stack
A dark color scheme for Vim, based on Zephyr, written in Lua
A pure Crystal Vector Math library
- crystal
- vector
- quaternion
🌍 MQS: AMQP Library
Get started with Dva.js and Ant Design.
- dva
- starter
- ant-design
- react
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
Parse awesome-go README file and generate a new README file with repo info.
Yet Another Static Site (Generator)
Visual Studio for Mac add-in/extension for converting old PCLs to .NET Standard 2.0 targeting projects automatically.
- visual-studio-for-mac-extension
- dot-net
- dotnet-standard
- xamarin-forms
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
Framework 12 rotation application specifically for Omarchy Linux or any Hyprland based distro.
A Common Lisp port of @karpathy microgpt.py — the most atomicimplementation of a GPT with a hand-written scalar autograd engine.
D library for converting any custom types to and from JSON the painless way.
A simple multithreaded vanity generator for the ripple p2p network
Adds an AI-powered "Translate" button to non-primary localized fields in Payload CMS. Automatically translates content from the primary language using OpenAI or other models. Fully configurable and integrates seamlessly with Payload’s native localization system.
- nodejs
- payload-plugin
- payloadcms
- typesc
A statistics library for D.
“TheGreek” — a sleek, strategic spy theme blending classic espionage style with modern intrigue and mystery.
A library of MvvmCross/Xamarin Plugins and sample applications
Full control of post effects adjustments in Babylon.js. Support real-time post effect adjustments, mesh import, and post effect data sharing
- babylonjs
- post-effect
- real-time-rendering
- export-to-json