samaritanhu / Introduction-to-Algorithms
Codes for Introduction to Algorithms by Udi.Manber 算法引论-一种创造性方法课程代码
☆14Updated last year
Alternatives and similar repositories for Introduction-to-Algorithms
Users that are interested in Introduction-to-Algorithms are comparing it to the libraries listed below
Sorting:
- 华东师范大学大夏学堂 Chrome 插件☆9Updated 5 years ago
- 批量下载ECNU的课程大纲至本地☆9Updated 6 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- Talking about classical logic and abstract algebra in Haskell☆15Updated 4 years ago
- Julia implementation for Python Restrain JIT☆22Updated 4 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆62Updated 2 months ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 5 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated last month
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- Yet another python JIT.☆20Updated 2 years ago
- benchmark languages that potentially suitable to scientific computing with the adaptive trapezoid numeric integration algorithm☆21Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated 4 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated 10 months ago
- end the parsing problem☆39Updated 2 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- The most simplest and super efficient command line tools, distributed in solely one file.☆10Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Yet another Scheme interpreter.☆11Updated 2 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆211Updated this week
- ☆10Updated last year
- 🌊 A React UI library☆13Updated 3 years ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Updated 6 years ago