#
chenrui333
Follow
Lists (32)
API
7 repositories
aws
27 repositories
build-system
87 repositories
databases
233 repositories
distributed-systems
117 repositories
ds-ml
- data science - machine learning111 repositories
emails
17 repositories
golang
168 repositories
graphql
27 repositories
image-audio-video-streaming
11 repositories
k8s
132 repositories
languages-compiler
43 repositories
networking-dns-proxy
107 repositories
observability
40 repositories
os-runtime
50 repositories
oss-alt
48 repositories
personal
156 repositories
readings
11 repositories
recommendation-search
- info retrieval - recommendation - search6 repositories
rust
194 repositories
security
105 repositories
SSO
5 repositories
storage
12 repositories
stream-processing
3 repositories
terraform
55 repositories
testing
- unit testing - contract testing - integration testing - mobile testing - load testing20 repositories
tools
189 repositories
vpn
5 repositories
wasm-iot-edge
28 repositories
web
134 repositories
web-server
7 repositories
web3-crypto
17 repositories
Starred repositories
1
star
written in Agda
Clear filter
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
