c8ef Goto Github PK

buddy-mlir

An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).

bustub

catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

compilernotes

cs111

CS 111: Operating Systems Principles

cs61c

Great Ideas in Computer Architecture (Machine Structures)

databend

𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com

datafusion

Apache DataFusion SQL Query Engine

distri

duckdb

DuckDB is an in-process SQL OLAP Database Management System

fbthrift

Facebook's branch of Apache Thrift, including a new C++ server.

folly

An open-source C++ library developed and used at Facebook.

hust-typst-template

husttex

A series of TeX templates for undergraduate thesis at HUST.

jcc

Jun's C compiler from scratch.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

mir

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

oi-wiki

:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

selfie-with-paper

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.

trivial

vcpkg

C++ Library Manager for Windows, Linux, and MacOS

vcpkg-docs

webkit

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

xmake

🔥 A cross-platform build utility based on Lua

xmake-repo

📦 An official xmake package repository

xv6

6.1810: Operating System Engineering