Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
Repository Index
47,133 repositories indexed
2,785–2,808 of 3,243 · Most stars
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
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
RR4J is a tool that records java execution and later allows developers to replay locally.
- java
- jvm
- record
- replay
A Cycle.js starter project with hot reloading using browserify-hmr
🚀 boilerplate for starting projects in next.js
Matlab codes that convert a RGBD image into a cad like model. This code is released as a part of my PhD dissertation.
Control DMX devices via Art-Net by MQTT. Includes a simple sequencer. 💡🎬
- dmx
- artnet
- sequencer
- stage
Calculate and render particles with WebGPU
- webgpu
- webgpu-particles
- render-particles
A fast FHIR-compliant server focused on longitudinal data stores.
- openhie
- ohie
- fhir
- mhd
A colorscheme creation micro-framework for Neovim
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
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
:video_camera: IPCamera alarm to MQTT bridge inspired to the mqtt-smarthome project.
- mqtt-smarthome
- mqtt
- ipcam
Game engine written in Dart
TCS humAIn
AlgoNim, the first Algorand game
An Emacs mode for the Dart language
A BDD Cucumber wire protocol implementation for Flash ActionScript
Chrome Extension To Reveal Observable Notebooks As Quarto QMD {ojs} Blocks & provide downloads of FileAttachments and zipped Quarto project
- observablehq
- quarto
- chrome-extension
- observable-notebook
A Swift client library for generating URLs with imgix
- imgix
- srcset
- src
- url-builder
Set of drivers for MQ series sensors for Micropython
- micropython
- mq2
- mq7
- monitoring
Python interface to quarto-cli