A free non-credit course titled Blockchain and Cryptocurrencies. The lectures will be once a week and ran by B@C officers, industry leaders, and Columbia faculty members.
☆19Nov 10, 2018Updated 7 years ago
Alternatives and similar repositories for BlockchainsAndCryptocurrencies
Users that are interested in BlockchainsAndCryptocurrencies are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 14, 2025Updated last year
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Jan 4, 2019Updated 7 years ago
- A formally verified symbolic cryptography library for Lean☆17Feb 18, 2026Updated 5 months ago
- Key transparency server☆17Jun 25, 2026Updated last month
- Presentation "GitHub Service Universe" for JavaLand 2015☆11Dec 21, 2015Updated 10 years ago
- Repository for aggregating news or speculations about Chainlink.☆10May 19, 2019Updated 7 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 4 months ago
- Awesome of Blockchain, ICO, ₿itcoin, Cryptocurrencies☆24Jan 3, 2018Updated 8 years ago
- Hinbox is a flexible, domain-configurable entity extraction system designed for historians and researchers.☆16Apr 3, 2026Updated 4 months ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- UIUC CS 199 EMP (paired with CS 125) Slide Website for Spring 2021 and Fall 2020☆10Oct 14, 2022Updated 3 years ago
- Compositional Verification of Security Protocols☆34May 7, 2026Updated 3 months ago
- sandboxed Claude Code☆36Nov 21, 2025Updated 8 months ago
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 3 months ago
- 戴爷爷的量子力学☆11Apr 10, 2021Updated 5 years ago
- Practical Cryptoanalysis☆12Nov 23, 2015Updated 10 years ago
- GPU code for the first SHA-1 collision attack and two freestart attacks☆14Jun 22, 2020Updated 6 years ago
- ☆12Jul 18, 2022Updated 4 years ago
- MIT 6.875☆16Dec 13, 2025Updated 7 months 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.
- Online Learning Platform. Live Website link:☆15Jul 8, 2020Updated 6 years ago
- A tutorial on side channel leakage modelling using linear regression☆15Nov 20, 2017Updated 8 years ago
- Go package to perform common cryptanalysis functions.☆15Sep 23, 2017Updated 8 years ago
- Notes about Blockchain and different Blockchain implementations (e.g. Litecoin, Ethereum, Bitcoin)☆42Nov 19, 2017Updated 8 years ago
- A tutorial about git☆13Dec 3, 2020Updated 5 years ago
- ☆13Oct 7, 2019Updated 6 years ago
- CN separation logic refinement type system for C☆61Updated this week
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆16Nov 19, 2020Updated 5 years ago
- ☆11May 21, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Successor to PolyBoRi☆24May 20, 2026Updated 2 months ago
- Slides from the 21 Lectures Advanced Course☆12Sep 19, 2019Updated 6 years ago
- 区块链是面向未来数字化社会的新一代信息技术。本课程将系统介绍区块链原理和应用,让学生对区块链有整体的了解。课程设计目标是帮助学生树立分布式整体性世界观，教学大纲将涵盖围绕区块链，通过应用密码学、分布式系统基础、博弈论的基础知识，把区块链作为分布式整体世界观最前沿的创新应用进…☆102May 13, 2021Updated 5 years ago
- ☆29Updated this week
- 💕山东财经大学课程资源☆21Jan 7, 2020Updated 6 years ago
- ☆17Nov 20, 2017Updated 8 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 4 months ago