chinqi

followers

following

stars

chinqi's starred repositories

hybrids

Extraordinary JavaScript UI framework with unique declarative and functional architecture

Language:JavaScriptMIT300900

money-legos

💰One stop shop for Ethereum ABIs, addresses, and Solidity interfaces!

Language:SolidityMIT102100

solidity-cheatsheet

Cheat sheet and best practices for solidity. Write smart contracts for Ethereum.

MIT143900

ML-foundations

Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science

Language:Jupyter NotebookMIT318300

realms-contracts

Realms Monorepo for Ethereum contracts and Starknet contracts.

Language:PythonMIT8600

p2p-lending

A decentralized, smart contract based platform for p2p-lending on the Ethereum Blockchain

Language:JavaScript8100

Zero-Knowledge-Proofs-Resources

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

NOASSERTION400

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

Language:Haskell139100

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

Language:OCamlApache-2.054600

alacrity

DSL for Secure DApps

Language:JavaScriptApache-2.03300

clarc

Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.

Language:OCamlUnlicense5200

solidity-patterns

A compilation of patterns and best practices for the smart contract programming language Solidity

Language:SolidityMIT310800

vyper

Pythonic Smart Contract Language for the EVM

Language:PythonNOASSERTION482300

echidna

Ethereum smart contract fuzzer

Language:SolidityAGPL-3.0265300

skyro

Home of the Skyro compiler

Language:IdrisMIT4200

learning-zkp

articles, codes and tools all about zero-knowledge proofs

Language:Jupyter Notebook77100

cardano-dex-backend

Spectrum Finance off-chain service for Cardano

Language:Haskell1500

contracts

The Consumer Contract Wallet

GPL-3.0100

pluto

An untyped Plutus Core assembler

Language:Haskell3200

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustApache-2.0792000

mal

mal - Make a Lisp

Language:AssemblyNOASSERTION992800

ocaml-cheat-sheets

OCaml Documentations as one-pagers, easy to keep useful commands in mind

Language:TeX12900

bril

an educational compiler intermediate representation

Language:RustMIT48800

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookBSD-2-Clause236600

acwj

A Compiler Writing Journey

Language:CGPL-3.01023200

Awesome-Design-Tools

The best design tools and plugins for everything 👉

Language:JavaScriptMIT3263600

Data-Science--Cheat-Sheet

Cheat Sheets

Language:TeX1833400

cs-video-courses

List of Computer Science courses with video lectures.

d2l-zh

《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

Language:PythonApache-2.05957700

seminars

Study materials for Bitcoin & Lightning Protocol