Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
Repository Index
47,133 repositories indexed
33,625–33,648 of 40,293 · 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
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.
Changes Neovim working directory to project root.
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