Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
Repository Index
47,133 repositories indexed
841–864 of 1,041 · Most stars
Generic 2D grid
- astar-algorithm
- dda-algorithm
- dejkstra
- golang
e-Ink library for Waveshare 4.3inch device on MicroPython
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
AlgoNim, the first Algorand game
Easy to use HTTP client plugin for neovim. Same syntax as IntelliJ HTTP client
SimpleNLG-EnFr 1.1 is a bilingual English/French adaption of SimpleNLG v4.2
Docker-aware backup agent using labels to automate backups for PostgreSQL, MySQL, MongoDB, and Redis to local or S3 compatible storage.
A Swift Sdk for interacting with the Algorand Blockchain
Ember Octane + FastBoot + Algolia + PayPal + Formspree
Make it easy to perform bulk functions on Algorand
Example WalletConnect Dapp on Algorand
- algorand
- walletconnect
- algorand-wallet
Component based MVC web framework based on fort architecture targeting good code structures, modularity & performance.
- mvc-framework
- fort
- component-based
- web-framework
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
PHP library to deal with Steam's proprietary TOTP algorithm.
Dataset for NLG which contains preceding context along with each generation instance
Elixir implementation of CLOPE: A Fast and Effective Clustering Algorithm for Transactional Data
- clustering
- clustering-algorithm
- elixir
- categorical-attributes
Algorand QR Code generator is a JavaScript module that outputs an standard QR code (exportable to SVG file and text) from a JSON object. It works in terminal, NodeJS and modern browsers. Complies to Algorand ABNF Grammar.
A PHP library (SDK) for interacting with the Algorand network.
- algorand-php-sdk
- wallet
- php
- algod
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Computer Algebra for microcontrollers using https://github.com/micropython/micropython
graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.
Fast actionscript 3 astar pathfinding algorithm.