wangrunji0408/CompilationTrainingExp wangrunji0408/CompilationTrainingExp

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Java
  • Created about 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wangrunji0408/CompilationTrainingExp
github

wangrunji0408

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

[Course] Experiments of dataflow analysis, optimization, Z3 analysis (Compilation Training 2018)

More Repositories

1

UndergraduateProjects

A collection of my undergraduate projects
84
star
2

most

Codes for MO's Trading.
Rust
37
star
3

DBProject

[Course] Simple database in C++ (Database 2017)
C++
22
star
4

rjrouter

[AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
Scala
14
star
5

distributed-systems-rs

A Rust reimplementation of the labs in THU distributed systems (2020 spring).
Rust
9
star
6

NAT464-rs

[Aborted] The firmware of a NAT64 Router.
Rust
8
star
7

WanZheBiDong

An educational game about Wanli Period of the Ming Dynasty
TypeScript
8
star
8

rust-rv64-kernel

A minimal RISCV64 kernel in Rust with OpenSBI.
Rust
7
star
9

RayTrace

[Course] Ray tracing in C++. (CG2017)
C++
7
star
10

mips32-cpu

Basic multi-cycle MIPS32 CPU
Verilog
7
star
11

CubeSolver

[Course] 三阶魔方求解器 2015程序设计基础大作业
C++
7
star
12

mvcc

Simple MVCC in Simple DB.
Rust
6
star
13

call-dispatch-macro

[WIP] Generate function call dispatcher in Rust procedural macro.
Rust
6
star
14

jpeg

A toy JPEG decoder.
Rust
6
star
15

FuchsiaRustSDK

A minimal out-of-the-box Fuchsia SDK for Rust.
Makefile
5
star
16

WordHelper

[Course] A console app for remember word. (OOP2016)
C++
5
star
17

QtCalendar

[Course] A calendar in Qt. (Summer 2016 Week1)
C++
5
star
18

JudgeDuck-OS-64

64-bit version of JudgeDuck-OS -- The Stable and Accurate Judge System
Rust
4
star
19

PinyinInputer

[Course] A pinyin inputer based on n-gram algorithm. (AI2017 Homework1)
C#
4
star
20

RustSamples

Rust
4
star
21

greenthread-future-rs

Rust: Convert closures into futures based on greenthread on bare-metal (no_std + no_alloc).
Rust
4
star
22

paxos

[WIP] Try Paxos in Rust.
Rust
3
star
23

wangrunji0408

2
star
24

DecafCompiler

[Course] Compilation principle 2017
Java
2
star
25

QtGoBang

[Course] Online gobang game in Qt. (Summer 2016 Week2)
C++
2
star
26

Chat

[Personal] A chat client/server in .NetCore/C#.
C#
2
star
27

ParallelHomework

[Course] Parallel Programming Homework.
C++
2
star
28

persistent

[WIP] Persist state safely by snapshot and WAL in Rust.
Rust
1
star
29

wangrunji0408.github.io

Ruby
1
star
30

DinosaurJump

[Personal] An imitation of Chrome dinosaur game made by Unity.
C#
1
star
31

SeamCarving

[Course] Seam carving in C++. (CG2017)
C++
1
star