fredericktutu

fredericktutu

Geek Repo

Company:HKUST

Location:Hong Kong, China

Home Page:frederickzhang.com

Github PK Tool:Github PK Tool

fredericktutu's starred repositories

SQLGen

Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.

License:NOASSERTIONStargazers:3Issues:0Issues:0

compiler-paper-reading

A group of students who are interested in Compilers, and they want to improve themselves together.

License:CC0-1.0Stargazers:26Issues:0Issues:0

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:717Issues:0Issues:0

SQLGen

Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.

Language:C++License:NOASSERTIONStargazers:24Issues:0Issues:0

mlta

TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

Language:C++License:MITStargazers:64Issues:0Issues:0

SVF

Static Value-Flow Analysis in LLVM

Language:CLicense:NOASSERTIONStargazers:5Issues:0Issues:0
Language:ScalaLicense:NOASSERTIONStargazers:44Issues:0Issues:0

LLVM-Study-Notes

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

Language:PythonLicense:NOASSERTIONStargazers:130Issues:0Issues:0

CppCon2017

Slides and other materials from CppCon 2017

Language:PythonStargazers:1744Issues:0Issues:0

grammar

EBNF grammar of LLVM IR assembly.

Language:TclLicense:0BSDStargazers:63Issues:0Issues:0
Language:GoStargazers:21Issues:0Issues:0

whu-thesis

:memo: 武汉大学毕业论文 LaTeX 模版 2024

Language:TeXLicense:LPPL-1.3cStargazers:906Issues:0Issues:0

dingo-hunter

Static analyser for finding Deadlocks in Go

Language:GoLicense:Apache-2.0Stargazers:314Issues:0Issues:0

tools

[mirror] Go Tools

Language:GoLicense:BSD-3-ClauseStargazers:7282Issues:0Issues:0

ssaplayground

🃏 The Go SSA Playground: Exploring SSA IR | https://golang.design/gossa

Language:GoLicense:GPL-3.0Stargazers:76Issues:0Issues:0

hexo-theme-fluid

:ocean: 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo

Language:JavaScriptLicense:GPL-3.0Stargazers:7040Issues:0Issues:0

cactus-white

:cactus: A responsive, white and simple theme for Hexo.

Language:CSSLicense:MITStargazers:70Issues:0Issues:0

hexo-theme-ocean

Ocean is a mobile-enabled Hexo theme based on the features in Hexo's default theme landscape.

Language:StylusLicense:Apache-2.0Stargazers:496Issues:0Issues:0

yinwang

Blog Theme For Hexo

Language:StylusStargazers:139Issues:0Issues:0

hexo-theme-wixo

A wiki theme for Hexo.

Language:CSSLicense:MITStargazers:156Issues:0Issues:0

go

The Go programming language

Language:GoLicense:BSD-3-ClauseStargazers:120906Issues:0Issues:0

docker-tutorial

Docker 基本教學 - 從無到有 Docker-Beginners-Guide 教你用 Docker 建立 Django + PostgreSQL 📝

Language:PythonLicense:MITStargazers:1554Issues:0Issues:0

libco

libco is a coroutine library which is widely used in wechat back-end service. It has been running on tens of thousands of machines since 2013.

Language:C++License:NOASSERTIONStargazers:8159Issues:0Issues:0

workflow

C++ Parallel Computing and Asynchronous Networking Framework

Language:C++License:Apache-2.0Stargazers:12629Issues:0Issues:0

yinyang

A fuzzing framework for SMT solvers

Language:PythonLicense:MITStargazers:176Issues:0Issues:0

learnGitBranching

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

Language:JavaScriptLicense:MITStargazers:30042Issues:0Issues:0

dbuilder

Datebase CRUD Builder(CRUD功能一键生成器)

Language:JavaScriptLicense:GPL-3.0Stargazers:16Issues:0Issues:0

simplelanguage

A simple example language built using the Truffle API.

Language:JavaLicense:UPL-1.0Stargazers:600Issues:0Issues:0

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Language:JavaLicense:NOASSERTIONStargazers:19952Issues:0Issues:0

zgc

The Z Garbage Collector https://wiki.openjdk.org/display/zgc

Language:JavaLicense:GPL-2.0Stargazers:160Issues:0Issues:0