bravomikekilo / TschemeLinks
a experiment to implement HM type system on Racket/scheme
☆13Updated 5 years ago
Alternatives and similar repositories for Tscheme
Users that are interested in Tscheme are comparing it to the libraries listed below
Sorting:
- Person-reid for 2018 College students'Entrepreneurship Project！☆20Updated 6 years ago
- ☆76Updated 3 years ago
- Courseware of organic intelligence☆37Updated last year
- 北航毕设论文LaTeX模板☆1,139Updated 7 months ago
- 北航本科三年级编译课程设计☆40Updated 7 years ago
- Assignments for courses of MapReduce☆30Updated 2 years ago
- tutorials for the ML course☆28Updated 6 years ago
- 关于2020年CS预推免的汇总。欢迎大家分享预推免信息，资瓷一下互联网精神吼不吼啊？☆206Updated 4 years ago
- 关于2018年cs保研夏令营的汇总☆79Updated 7 years ago
- Distributed System, Fall 2017, CS@NJU☆63Updated last year
- ☆90Updated 4 years ago
- 北航研究生学位论文模板（Word+LaTeX）.☆587Updated last year
- 关于2020年CS保研夏令营的汇总。欢迎大家分享夏令营信息，资瓷一下互联网精神吼不吼啊？☆502Updated 4 years ago
- ☆412Updated last year
- Judge油猴脚本☆11Updated 7 years ago
- ☆199Updated 4 years ago
- ☆22Updated 6 years ago
- 北航小操作系统实验代码lab1~lab6☆118Updated 8 years ago
- 北航小操作系统实验指导书☆56Updated 7 years ago
- pytorch memory track code☆1,018Updated 4 years ago
- open-source mobile app for bbs.byr.cn☆163Updated last year
- 重庆大学国创创业组优秀项目-笑递☆11Updated 2 years ago
- 南京大学宋方敏《计算模型导引》题解☆142Updated 3 years ago
- A LaTeX Template for BUPT Bachelor Thesis (updated in 2018) 北京邮电大学学士学位论文LaTeX模板☆523Updated 3 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆362Updated last year
- 为北航面向对象课程电梯单元自动化黑箱测试搭建的IO接口☆15Updated 6 years ago
- Jittor is a high-performance deep learning framework based on JIT compiling and meta-operators.☆3,198Updated 2 weeks ago
- 多核程序设计与实践-2018年第二学期课件☆48Updated 5 years ago
- A simple summary of the OS course☆20Updated 5 years ago
- UCAS course-evaluation; 国科大课程自动评价脚本☆21Updated 5 years ago