Pinned Repositories
autoAPI
Create an CRUD API server directly from a table in database or/and a yaml file.
baas_orm
Create CURD api automatically by scanning certain table in a database from a config file. Also offer a TS DSL to interacte with these api.
cypress
Cypress @ Stevens website
DAT085
Project for course DAT085
Datathon
ericwang385.github.io
Intro-to-HOTT
Learn MLTT
ISHU-mp
LSLR-Agda
A formalization for logical step-indexed logical relations
Purpose-Limitation
Master Thesis at Chalmers
ericwang385's Repositories
ericwang385/baas_orm
Create CURD api automatically by scanning certain table in a database from a config file. Also offer a TS DSL to interacte with these api.
ericwang385/cypress
Cypress @ Stevens website
ericwang385/autoAPI
Create an CRUD API server directly from a table in database or/and a yaml file.
ericwang385/DAT085
Project for course DAT085
ericwang385/Datathon
ericwang385/ericwang385.github.io
ericwang385/Intro-to-HOTT
Learn MLTT
ericwang385/ISHU-mp
ericwang385/LSLR-Agda
A formalization for logical step-indexed logical relations
ericwang385/Purpose-Limitation
Master Thesis at Chalmers
ericwang385/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
ericwang385/pytorch-msssim
PyTorch differentiable Multi-Scale Structural Similarity (MS-SSIM) loss
ericwang385/ctrees
An itree-like data-structure to additionally support internal non-determinism
ericwang385/SHUhelper
上海大学助手
ericwang385/TypeWhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.