---
layout: post
title: Weekly
category: Weekly
author: 东岳

---

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

***

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

tvm的functional lang 反正我是不懂

***

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

https://github.com/llaisdy/beam_languages 

***

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

***

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

***

https://github.com/at15/design.sjtu 找到了以前设计的媒设官网 ... w/ @scottsun94 @swaylq [preview](http://at15.github.io/design.sjtu/site/)

***

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

***

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

***

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

react@raspberry pi

***

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

***

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

***

