littlekuo Goto Github PK

6.824

my solutions to MIT 6.824

6.s081

6.S081 2020

9cc

A Small C Compiler

aoapc-bac2nd

Source codes for book <<<BeginningAlgorithmContests>> Second edition

apue-notes

awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

awesome-distributed-systems

A curated list to learn about distributed systems

awesome-math

A curated list of awesome mathematics resources

awesome-program-analysis

Program Analisys and Transformation survey and links (particular focus on SSA)

bolt

An embedded key/value database for Go.

book

A textbook on informal homotopy type theory

category-theory-for-programmers-solutions

Category theory for programmers Solutions

category-theory-in-context-solutions

Category theory in context Solutions

chezscheme

Chez Scheme

clrs

:notebook:Solutions to Introduction to Algorithms

clrs-1

📚 Solutions to Introduction to Algorithms Third Edition

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

codereading

codeReading

codewars

Solutions to CodeWars

compiler-written-in-haskell

A Turing complete language 😉

cpp_etudes

smart tools for source code study : cpptree.pl, calltree.pl, javatree.pl, java_calltree.pl

cpp_functional_programming

List of materials about functional programming in C++

cppcoreguidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

cpplox

This project is an implementation in C++ follows Bob Nystrom's excellent book "Crafting Interpreters".

cpptemplatetutorial

中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)

cs-courses

cs-notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++

cs143

cs143 compiler course

cs426

project for cs426 https://courses.engr.illinois.edu/cs426/fa2019/