UW Blockchain Society's compilation of Blockchain materials for general public.
☆21Oct 28, 2020Updated 5 years ago
Alternatives and similar repositories for Blockchain-Resources
Users that are interested in Blockchain-Resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic p2p video streaming for Livepeer☆18Jan 9, 2019Updated 7 years ago
- The Backup Bag☆11Jul 27, 2022Updated 3 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- As defined in Lubotzky, Philips and Sarnak☆10Oct 25, 2022Updated 3 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Repository for the Machine Learning Failure Mode and Effects Analysis (ML FMEA) Template. The ML FMEA is detailed within the SAE World C…☆13Apr 3, 2025Updated last year
- Compares the performance effect of 'noexcept' to an implicit exception specification☆19Oct 15, 2024Updated last year
- Home sharing app for Hillary Clinton supporters☆10Jan 6, 2017Updated 9 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- ☆10Jun 14, 2020Updated 6 years ago
- ☆15Aug 15, 2023Updated 2 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Mar 23, 2021Updated 5 years ago
- Spark Library for Bulk Loading into Cassandra☆12Apr 18, 2018Updated 8 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Tiny C library for reading ZIP files☆14Mar 16, 2017Updated 9 years ago
- ☆11Aug 12, 2017Updated 8 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 9 months ago
- ☆10Feb 28, 2017Updated 9 years ago
- REACTJS, NODEJS TUTORIAL☆11Jan 5, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Rigorous computation of the endomorphism ring of a Jacobian☆11May 14, 2026Updated last month
- ☆16Jun 22, 2024Updated 2 years ago
- Slides on memory and caches☆14May 9, 2024Updated 2 years ago
- Easily implement binary network protocols☆17Apr 15, 2022Updated 4 years ago
- The function of the project is to detect the particular color object and follow the path,when the line touch each other then it destroy t…☆14Mar 2, 2019Updated 7 years ago
- Starter code for writing procedural macros in Rust.☆17Jul 27, 2018Updated 7 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Sep 4, 2024Updated last year
- Offer bounties in MANA to developers that create educational content: tutorials & scene samples☆11Nov 21, 2018Updated 7 years ago
- ☆12Aug 8, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- conversion tool to extract model from torch serialised model and convert into onnx☆12May 11, 2018Updated 8 years ago
- A challenge to investigate the security of the InstaHide protocol.☆12Dec 7, 2020Updated 5 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- A declarative, SQL-like DSL for data integration tasks.☆14Jul 4, 2018Updated 7 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 2 months ago
- ☆10Jun 24, 2015Updated 11 years ago
- All contents related to the Mina grant program and projects in scope☆15Mar 27, 2022Updated 4 years ago