profile
viewpoint
eric wang ericwang385 Gothenburg, Sweden

shuosc/SHUhelper 112

[WIP]SHUHelper-校园助手

dyweb/weekly 64

DevComm-Shanghai Weekly 上海地区高校技术社团联合周报(欢迎投稿)

shuosc/opencv-doc-cn 29

opencv中文文档 基于3.3.0版本

SHUReeducation/autoAPI 24

Create an CRUD API server directly from a table in database or/and a yaml file.

aya-prover/aya-prover-proto 11

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

ericwang385/baas_orm 1

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/autoAPI 0

Create an CRUD API server directly from a table in database or/and a yaml file.

ericwang385/DAT085 0

Project for course DAT085

starteddorchard/effect-monad

started time in 8 days

push eventericwang385/DAT085

ericwang385

commit sha 063f5e56a32ac80a3e4591f353437e0280beaab3

add IORef for PIO

view details

ericwang385

commit sha e0d12cad9894bedafb3f7f6eeb611eb474549310

add IORef to PIO

view details

ericwang385

commit sha dbbc5b759329ace04b759e3d4dce2a7558078105

new PIO test case

view details

push time in a month

push eventericwang385/DAT085

ericwang385

commit sha b162a49f5118bfbe83ca74e7f93de837e6ca3c30

tmp push

view details

ericwang385

commit sha 5ecd0be395902200ed53b1d17244b0d2179916b0

update settings

view details

ericwang385

commit sha 6f069d723f32d777b5e0733f1222315e84ff6b1b

purpose def

view details

ericwang385

commit sha 34cf1cf7bd059cd819a8e7cd78d6fb4f62746311

Labeled monad

view details

ericwang385

commit sha b0a3da7f8335fb167b189ab5de40725f408b7d02

test cases

view details

ericwang385

commit sha a14f16d3a0e565a52974e7235acbea9d6e912945

new Labeled approach

view details

ericwang385

commit sha 1c6f3761407befe7c86812df39b9dff5e19683ac

adjust test case

view details

ericwang385

commit sha be9cc3b7b7ddd8c4a84691130a93f9fe48159295

adjust test case

view details

push time in a month

push eventericwang385/DAT085

ericwang385

commit sha a14f16d3a0e565a52974e7235acbea9d6e912945

new Labeled approach

view details

ericwang385

commit sha 1c6f3761407befe7c86812df39b9dff5e19683ac

adjust test case

view details

ericwang385

commit sha be9cc3b7b7ddd8c4a84691130a93f9fe48159295

adjust test case

view details

push time in a month

push eventericwang385/DAT085

ericwang385

commit sha 5ecd0be395902200ed53b1d17244b0d2179916b0

update settings

view details

ericwang385

commit sha 6f069d723f32d777b5e0733f1222315e84ff6b1b

purpose def

view details

ericwang385

commit sha 34cf1cf7bd059cd819a8e7cd78d6fb4f62746311

Labeled monad

view details

ericwang385

commit sha b0a3da7f8335fb167b189ab5de40725f408b7d02

test cases

view details

push time in a month

create barnchericwang385/DAT085

branch : DCC

created branch time in a month

push eventericwang385/DAT085

ericwang385

commit sha 696d85c0bfa2a272d07bed4295a9448471e37689

add hls config file

view details

ericwang385

commit sha a7a3d4b4402c0a501fcf62129751f8b2c458cb46

add Functor def

view details

ericwang385

commit sha 167b118eea33fdf471e29ee7762f6dfa2398bf5b

Add Purpose def

view details

ericwang385

commit sha 6d16b131e9e7728ee4510f1028f4fac533bf2a6f

Add Ref def

view details

ericwang385

commit sha a3e8e45c7bd076285b027d712ffa1598ca1975c1

tmp commit

view details

push time in a month

push eventericwang385/DAT085

ericwang385

commit sha 36c73c617921531c3106b7bedcdaacab19662d4f

some examples

view details

push time in a month

push eventericwang385/DAT085

ericwang385

commit sha 00f3268acfabc972a007ddbd9f2449d5e2c61d8f

add current conj

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha fefc3a9238c3756138437d65facd6c16feae0ce8

conj still in progress

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha eb26a1bdfd352adad37c6caa3b3f458e694e0266

Add testcase

view details

ericwang385

commit sha b886696bda204750f3eb5f17ba4a66ff27b50627

Encode Purpose as Nat and add useful operators

view details

push time in 2 months

create barnchericwang385/DAT085

branch : PIO

created branch time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha 87f97bbc9501a57cdbf144e6eefa103ae38a1fda

make PIO a monad

view details

ericwang385

commit sha 37cbc36b8ebea519c37f3e67e0a56aa63c2467f5

Add some comment and notes

view details

ericwang385

commit sha 60be8b3847641ccc76cf67081ab5144dc5c20e0a

add testcase

view details

ericwang385

commit sha 3f7688ffd63b5cc2acc25d71d9e992f63dbe867a

should be generalized to a monad

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha 218cbc4050254f78798f0f75dc021473a75bc92a

new attemp

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha 421ce2518127ab46a6a5815e0039919b2e34737e

archive the first attempt

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha ef6a68d41d91478ea06b75019394712aaaeab451

add some examples

view details

push time in 2 months

push eventericwang385/DAT085

ericwang385

commit sha 573f3721abbe03db01360487f73d51c3b64731c0

first commit

view details

push time in 2 months

MemberEvent

create barnchericwang385/DAT085

branch : main

created branch time in 2 months

created repositoryericwang385/DAT085

Project for course DAT085

created time in 2 months

more