samaritanhu / Introduction-to-Algorithms
Codes for Introduction to Algorithms by Udi.Manber 算法引论-一种创造性方法课程代码
☆14Updated last year
Related projects: ⓘ
- 批量下载ECNU的课程大纲至本地☆9Updated 5 years ago
- ☆23Updated this week
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- 华东师范大学大夏学堂 Chrome 插件☆9Updated 4 years ago
- 气垫船计划——免费、去中心化的北京大学往年题资料库☆24Updated 6 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- Lean4中文教程☆28Updated 11 months ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- ☆12Updated this week
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆61Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 5 years ago
- Coq集合论中文教程☆41Updated 2 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆204Updated last week
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- Wolfram Function Repository Issue Tracer☆11Updated 4 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- end the parsing problem☆40Updated 2 years ago
- VSCode extension for the Arend language☆11Updated last year
- 十分钟魔法练习 in OCaml☆32Updated 2 years ago
- Books on programming language theory and linguistics in general.☆47Updated 3 years ago
- ECNU_BeamerTemplate☆66Updated 5 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Talking about classical logic and abstract algebra in Haskell☆14Updated 3 years ago
- Julia中文社区活动的各种材料 Meetup Materials☆72Updated last year
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- VSCode extension for bTeX.☆20Updated 9 months ago
- Very Naive MIPS CPU using Clash☆29Updated 2 years ago