marcio-diaz

spanish-numbers

pl-dpn-tool

abc

abc

rust-algorithms

Common data structures and algorithms in Rust

Acala

Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.

bitcoinbook

Mastering Bitcoin - Unlocking digital currencies

chat

cosmos-blog

create-ic-app

deep-model-checking

hypothesis-python

Advanced property-based (QuickCheck-like) testing for Python

impara

model checker for concurrent programs

jalangi2

Dynamic analysis framework for JavaScript

marcio-diaz.github.io

near-app-test

newspaper

News, full-text, and article metadata extraction in Python 3

node-analyzer

基于 IKAnalyzer 字典分词器的 node.js 实现

quickcheck

QuickCheck for Rust (with shrinking).

react-chessdiagram

Chess Diagram React Component

react-mathjax

React component to display math formulas

requests-for-research

A living collection of deep learning problems

rest-api-test

reversi

Multiplayer Reversi Game on Internet Computer

rhododendron

Asynchronously safe BFT consensus, implementation in Rust

sctbench

SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

sovereign

Peer to peer democracy.

substrate

Substrate: The platform for blockchain innovators

substrate-graph-benchmarks

Graph the benchmark output of Substrate Pallets.

swim

An implementation of the SWIM gossip protocol in Rust using tokio-rs.

thesis