nkysg Goto Github PK

100-gdb-tips

A collection of gdb tips. 100 may just mean many here.

110l-java

Stanford 110L Port for Java

15441

CMU 15411 Computer Networks Projects

6.824

My 6.824 Projects

6.834-final-project

Our final project in 6.834

alloy

Transports, Middleware, and Networks for the Alloy project

alloy-core

High-performance, well-tested & documented core libraries for Ethereum, in Rust

aptos-core-1

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

apue.2e

Advance UNIX Programming Environment

arch-book

online book about architecture(in Chinese)

awesome-plonk

A curated list of awesome things related to plonk proof system

awesome-reth

A list of awesome Reth-related resources

bitseed

bitseed

bitvm

Smarter Bitcoin Contracts

boltdb-with-comment

bsuccinct-rs

Rust libraries and programs focused on succinct data structures

buddy

Buddy memory allocation

buddy2

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

cairo_native

A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

ci_autoscaler

circom

zkSnark circuit compiler

cmu_15213_malloclab

CMU 15-213 Introduction to Computer Systems

code-to-do-list

需要手写的代码

compilers

Utilities for working with native solc and compiling projects.

cosmwasm

Framework for building smart contracts in Wasm for the Cosmos SDK

course

Official repository for CS 186 assignments

cs110l-spr-2020-starter-code

Stanford CS 110L Spring 2020 assignment starter code

csapp

Computer Systems: A Programmer's Perspective

csapp-