Giters
Liangcheng (LC) Yu (liangcheng-yu)

liangcheng-yu

Geek Repo

40

followers

14

following

144

stars

Company:University of Pennsylvania

Home Page:https://liangchengyu.com

Github PK Tool:Github PK Tool

Liangcheng (LC) Yu's repositories

assert-p4

Play around with and produce it for CIS 673.

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

emacs.d

.emacs.d

Language:Emacs LispStargazers:0Issues:0Issues:0

eRPC

Efficient RPCs for datacenter networks

Language:C++Stargazers:0Issues:0Issues:0

hassel-public

A mirror the bitbucket repo https://bitbucket.org/peymank/hassel-public with some play arounds

Language:HCLLicense:GPL-2.0Stargazers:0Issues:1Issues:0

open-nic-shell

AMD OpenNIC Shell includes the HDL source files

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

penn-cis673-hw-dafny

Language:DafnyStargazers:0Issues:0Issues:0

rbpf

Rust virtual machine and JIT compiler for eBPF programs

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

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

splab-web

A Hakyll [splab] website (https://www.cis.upenn.edu/~splab/) based on plclub website

Language:CSSStargazers:0Issues:0Issues:0