samaritanhu / Introduction-to-Algorithms
Codes for Introduction to Algorithms by Udi.Manber 算法引论-一种创造性方法课程代码
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Introduction-to-Algorithms
- 批量下载ECNU的课程大纲至本地☆9Updated 5 years ago
- 华东师范大学大夏学堂 Chrome 插件☆9Updated 4 years ago
- ECNU_BeamerTemplate☆66Updated 6 years ago
- Julia中文社区活动的各种材料 Meetup Materials☆75Updated this week
- Lean4中文教程☆30Updated last year
- My slides and notes☆137Updated last year
- 华东师范大学本科毕业论文模板（不再维护）☆100Updated 4 years ago
- ☆19Updated last week
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- Yet another Scheme interpreter.☆11Updated 2 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- A fast TOML parser for TOML 1.0 written in Julia☆34Updated last year
- AlphaGo Zero implementation using Flux.jl☆73Updated 4 years ago
- 上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集☆57Updated 3 years ago
- Books on programming language theory and linguistics in general.☆50Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- [WIP] BREAD operate system based on X86_64☆49Updated 3 years ago
- The Next Generation of Compositional Programming☆22Updated this week
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Wolfram Function Repository Issue Tracer☆11Updated 4 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10Updated last year
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆60Updated last year
- All-in-one mirror utility for SJTUG mirror☆48Updated 4 months ago