theo-chengkai-wang's Stars
kenjihiranabe/The-Art-of-Linear-Algebra
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
metaocaml/metaocaml-bibliography
MetaML and MetaOCaml bibliography
Quantco/spox
Pythonic framework for building ONNX graphs
chenyaofo/pytorch-cifar-models
Pretrained models on CIFAR10/100 in PyTorch
mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
hei411/eva
Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.
rationalis-petra/mlsub
Part II Project: A compiler for a variant of ML with subtyping
strymonas/strymonas-ocaml
datawhalechina/easy-rl
强化学习中文教程(蘑菇书🍄),在线阅读地址:https://datawhalechina.github.io/easy-rl/
DaniFoldi/partii-diss-template
This repository contains my template for Cambridge CST Part II dissertations.
TeamKilo/kilo_bots
yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
AndrasKovacs/staged
Staged compilation with dependent types
imdea-software/htt
Hoare Type Theory
daiyu886/evil-man
Timothy-G-Griffin/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Marchhill/exhibition-inference
TeamKilo/kilo_server
Wulf/create-rust-app
Set up a modern rust+react web app by running one command.
risinglightdb/risinglight
An educational OLAP database system.
wojtekmaj/react-pdf
Display PDFs in your React app as easily as if they were images.
paul-pias/Object-Detection-and-Distance-Measurement
Using yolov3 & yolov4 weights objects are being detected from live video frame along with the measurement of the object from the camera without the support of any extra hardware device.
bigardone/phoenix-battleship
The Good Old game, built with Elixir, Phoenix, React and Redux
programthink/zhao
【编程随想】整理的《太子党关系网络》,专门揭露赵国的权贵
cloudcommunity/Cloud-Free-Tier-Comparison
Comparing the free tier offers of the major cloud providers like AWS, Azure, GCP, Oracle etc.
spantaleev/matrix-docker-ansible-deploy
🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker
nghuyong/WeiboSpider
持续维护的新浪微博采集工具🚀🚀🚀
nghuyong/weibo-cov
Weibo-COV: A Large-Scale COVID-19 Social Media Dataset from Weibo
christophetd/log4shell-vulnerable-app
Spring Boot web application vulnerable to Log4Shell (CVE-2021-44228).
damonjw/datasci
Modelling and machine learning: the foundations of data science