Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Repository Index
47,133 repositories indexed
31,729–31,752 of 38,012 · Most stars
Easily integrate Facebook authentication into any Play framework application.
Generate string from regular expression
A JavaScript bilingual text realizer for web development
An Elixir library for generating GitHub-like identicons
Capacitor plugin for Brother Print SDK
Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
:iphone: iOS DeviceCheck SDK for Go - query and modify the per-device bits
Game Boy port of Google Chrome's Dino browser game
An Elixir notifier to the Airbrake/Errbit. System-wide error reporting enriched with the information from Plug and Phoenix channels.
Dongoose is a simple ( but intelligent ), lightweight, and easy to use ORM for Deno KV. It is written in Typescript and is inspired by Mongoose.
Boilerplate for web applications with a Node, Express, MongoDB backend and Backbone Marionette, Jade, Require.js frontend
Inject Vert.x objects as beans into your Spring application
Automate semantic versioning of Git repositories by analyzing their formatted commit history and tagging them with the right SemVer.
Generic 2D grid
- astar-algorithm
- dda-algorithm
- dejkstra
- golang
Editing facility for Common Lisp REPL
HL7 / FHIR honeypot
- golang
- honeypot
Android library which provides a signature view.
- android
- java
A behavior tree implementation
Phalcon Authentication Server
A pure Crystal Vector Math library
- crystal
- vector
- quaternion
🌈 A 20kb Preact & Redux based Progressive Web App that translates real life color to digital color.
An ember-addon that provides a dry way to track component attribute changes using lifecycle hooks.
Wrapper for erlang-mbcs