search

dyweb / weekly

DevComm-Shanghai Weekly 上海地区高校技术社团联合周报（欢迎投稿）
https://dyweb-weekly.netlify.com/
65 stars 5 forks source link

Weekly-146 #159

Closed gaocegege-bot closed 4 years ago

gaocegege-bot commented 4 years ago

联合周报第 146 期开始投稿 :tada:

at15 commented 4 years ago

https://github.com/facebookincubator/SPARTA cc @xplorld @codeworm96 building high-performance static code analyzers based on Abstract Interpretation

rynewang commented 4 years ago

https://docs.tvm.ai/dev/relay_intro.html

tvm的functional lang 反正我是不懂

at15 commented 4 years ago

https://github.com/gleam-lang/gleam A statically typed language for the Erlang VM

https://github.com/llaisdy/beam_languages

at15 commented 4 years ago

https://github.com/lalrpop/lalrpop LR(1) parser generator for rust

at15 commented 4 years ago

https://github.com/rust-lang/rustlings exercises for reading and writing rust code

at15 commented 4 years ago

https://github.com/at15/design.sjtu 找到了以前设计的媒设官网 ... w/ @scottsun94 @swaylq preview

at15 commented 4 years ago

https://github.com/renpy/renpy The Ren'Py Visual Novel Engine

at15 commented 4 years ago

http://cs.au.dk/~amoeller/spa/ lecture note for static analysis

xplorld commented 4 years ago

https://github.com/doodlewind/react-ssd1306

react@raspberry pi

at15 commented 4 years ago

https://opensource.googleblog.com/2019/11/opentitan-open-sourcing-transparent.html https://github.com/lowRISC/opentitan OpenTitan: Open source silicon root of trust

at15 commented 4 years ago

https://github.com/codahale/deyaml generate go code from k8s YAML (such a great tool ...