Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
Repository Index
47,133 repositories indexed
38,305–38,328 of 46,374 · Most stars
:iphone: iOS DeviceCheck SDK for Go - query and modify the per-device bits
Game Boy port of Google Chrome's Dino browser game
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
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.
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
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
Ada Embedded Network Stack
A behavior tree implementation
Phalcon Authentication Server
EmberJS redirect addon for Ember-CLI. This addon aims to be a simple and easy way to preform route based redirects with minimal effort.
A dark color scheme for Vim, based on Zephyr, written in Lua
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
Changes Neovim working directory to project root.