InfSeqExtA Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Stars: ✭ 12 (-95.67%)
NanominerNanominer is a versatile tool for mining cryptocurrencies on GPUs and CPUs.
Stars: ✭ 263 (-5.05%)
Truffle FlattenerTruffle Flattener concats solidity files from Truffle and Buidler projects with all of their dependencies
Stars: ✭ 254 (-8.3%)
pysdslPython bindings to Succinct Data Structure Library 2.0
Stars: ✭ 23 (-91.7%)
PhpAll Algorithms implemented in Php
Stars: ✭ 272 (-1.81%)
Data-Structures-and-AlgorithmsImplementation of various Data Structures and algorithms - Linked List, Stacks, Queues, Binary Search Tree, AVL tree,Red Black Trees, Trie, Graph Algorithms, Sorting Algorithms, Greedy Algorithms, Dynamic Programming, Segment Trees etc.
Stars: ✭ 144 (-48.01%)
awesome-free-coursesList of awesome free video courses for learning Computer Science!
Stars: ✭ 49 (-82.31%)
fixie-trieCompact tries for fixed-width keys
Stars: ✭ 23 (-91.7%)
CppRepository for C++/C codes and algos.
Stars: ✭ 265 (-4.33%)
lucillaFast, efficient, in-memory Full Text Search for Kotlin
Stars: ✭ 102 (-63.18%)
DawgSharpDAWG String Dictionary in C#
Stars: ✭ 72 (-74.01%)
aho-corasick-nodeA Node implementation of the Aho-Corasick string matching algorithm based on DoubleArray Trie.
Stars: ✭ 16 (-94.22%)
ArcusARCUS is the NAVER memcached with lists, sets, maps and b+trees. http://naver.github.io/arcus
Stars: ✭ 273 (-1.44%)
radixGolang radix tree implementation
Stars: ✭ 30 (-89.17%)
js-collections-map-setRepository to have example code to demonstrate JavaScript Map and Set data structures.
Stars: ✭ 21 (-92.42%)
fitchjsFitch style proof constructor
Stars: ✭ 19 (-93.14%)
Javascript Datastructures Algorithms📚 collection of JavaScript and TypeScript data structures and algorithms for education purposes. Source code bundle of JavaScript algorithms and data structures book
Stars: ✭ 3,221 (+1062.82%)
PlaneverbProject Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Stars: ✭ 22 (-92.06%)
algorithm📌 Notes and Codes for studying data structures and algorithm
Stars: ✭ 72 (-74.01%)
raBasic Analysis, undergraduate real analysis textbook
Stars: ✭ 33 (-88.09%)
Weiwallet IosWei Wallet is an open source Ethereum wallet for iOS
Stars: ✭ 271 (-2.17%)
merkle sigs.rs🎄🖋 A Rust implementation of Merkle signing
Stars: ✭ 13 (-95.31%)
finger-tree🌵 Finger tree data structure for JavaScript
Stars: ✭ 20 (-92.78%)
CTjsCTjs is a full set of classes necessary to work with any kind of Certificate Transparency log (V1 as from RFC6962, or V2 as from RFC6962-bis). In CTjs you could find all necessary validation/verification functions for all related data shipped with full-featured examples showning how to validate/verify. Also in scope of CTjs I made code showing e…
Stars: ✭ 2 (-99.28%)
Groth16BatchVerifierBatch verification proposal for the zkSNARK verification with the same(!) circuit
Stars: ✭ 17 (-93.86%)
cs-resourcesCurated Computer Science and Programming Resource Guide
Stars: ✭ 42 (-84.84%)
gaptGAPT: General Architecture for Proof Theory
Stars: ✭ 83 (-70.04%)
Polymath CoreCore Ethereum Smart Contracts for Polymath - The Securities Token Platform
Stars: ✭ 275 (-0.72%)
iavlMerkleized IAVL+ Tree implementation in Go forked from cosmos/iavl(https://github.com/cosmos/iavl)
Stars: ✭ 17 (-93.86%)
AlgorithmsData Structures & Algorithms. Includes solutions for Cracking the Coding Interview 6th Edition
Stars: ✭ 89 (-67.87%)
Competitive ProgrammingContains solutions and codes to various online competitive programming challenges and some good problems. The links to the problem sets are specified at the beginning of each code.
Stars: ✭ 65 (-76.53%)
bargadA Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.
Stars: ✭ 54 (-80.51%)
Ruby EthereumA Ruby implementation of Ethereum.
Stars: ✭ 270 (-2.53%)
go-erasureErasure coding (Reed–Solomon coding) in Go
Stars: ✭ 44 (-84.12%)
fts-treePoC implementation of follow-the-satoshi in a Merkle tree.
Stars: ✭ 17 (-93.86%)
OctopusSecurity Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Stars: ✭ 261 (-5.78%)
trie-muxA minimal and powerful trie based url path router (or mux) for Go.
Stars: ✭ 25 (-90.97%)
PythonRepositori untuk belajar pemrograman Python dalam bahasa Indonesia
Stars: ✭ 79 (-71.48%)
unitdbFast specialized time-series database for IoT, real-time internet connected devices and AI analytics.
Stars: ✭ 97 (-64.98%)
EventeumA resilient Ethereum event listener that bridges your smart contract events and backend microservices
Stars: ✭ 272 (-1.81%)
MonaxDEPRECATED. To be removed December, 2018 (use monax/bosmarmot)
Stars: ✭ 269 (-2.89%)
csharp-trieA trie (prefix tree) data structure implementation in C#.
Stars: ✭ 30 (-89.17%)
haalHääl - Anonymous Electronic Voting System on Public Blockchains
Stars: ✭ 96 (-65.34%)
swift-algorithms-data-structs📒 Algorithms and Data Structures in Swift. The used approach attempts to fully utilize the Swift Standard Library and Protocol-Oriented paradigm.
Stars: ✭ 42 (-84.84%)
Algorithms-JavaA collection of common algorithms and data structures implemented in Java.
Stars: ✭ 141 (-49.1%)
LPL-solutionsSolutions for the book "Language Proof and Logic".
Stars: ✭ 51 (-81.59%)
JschemaA simple, easy to use data modeling framework for JavaScript
Stars: ✭ 261 (-5.78%)
DS AlgoA repository to maintain various data structures and algorithms
Stars: ✭ 23 (-91.7%)
go-merkleA fixed Merkle Tree implementation in Go
Stars: ✭ 36 (-87%)
lexpyPython package for lexicon; Trie and DAWG implementation.
Stars: ✭ 47 (-83.03%)