Giters
Hanliang Zhang (KomaEc)

KomaEc

Geek Repo

6

followers

12

following

34

stars

Location:Bristol, UK

Home Page:https://komaec.github.io/

Github PK Tool:Github PK Tool

Hanliang Zhang's repositories

crown

Ownership analysis that helps translating C to Rust

Language:RustStargazers:11Issues:8Issues:2

Cm

Being a compiler for an imperative programming language (subset of C but with a little difference). It focuses on data flow analysis.

Language:OCamlStargazers:0Issues:0Issues:0

ContractLens-artifact

Language:AgdaStargazers:0Issues:2Issues:0

gitignore

A collection of useful .gitignore templates

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

KomaEc.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

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

Labs-on-ICS

Course labs.

Language:CStargazers:0Issues:0Issues:0

Malloc-Implementations

A collection of memory allocators

Language:CStargazers:0Issues:0Issues:0

NFix

Being my GSoC 2019 Project

Language:JavaStargazers:0Issues:1Issues:0

rustfix

Automatically apply the suggestions made by rustc

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

sat

A simple CDCL sat solver

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0