Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Typesandproofs | 28 | 4 months ago | 1 | apache-2.0 | Prolog | |||||
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems | ||||||||||
Linlam | 19 | a year ago | mit | Haskell | ||||||
a library for experimental linear lambda calculus | ||||||||||
Stochastic Calculus And Probability Model | 11 | 6 years ago | C++ | |||||||
Record the learning materials of the course - "STOCHASTIC ANALYSIS OF COMPUTER NETWORKS" in National Cheng Kung University. |