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
- 批量下载ECNU的课程大纲至本地☆9Updated 6 years ago
- Julia implementation for Python Restrain JIT☆22Updated 4 years ago
- 华东师范大学大夏学堂 Chrome 插件☆9Updated 4 years ago
- Array quantization and compression☆14Updated last year
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- ECNU_BeamerTemplate☆66Updated 6 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆62Updated last month
- A toy IO library for Arend☆18Updated 4 years ago
- Talking about classical logic and abstract algebra in Haskell☆15Updated 4 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- syntax highligher for GkdTeX☆25Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Implementation of All ▲lgorithms in C++ Programming Language☆21Updated 4 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- A module for some additional try catch semantics in Julia☆15Updated 3 years ago
- Utilities for testing custom AD primitives.☆50Updated this week
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated this week
- A Julia port of the Lark parser☆47Updated 2 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- A DSL for modern parsing☆46Updated last year
- A Petri net modeling framework for the Julia programming language☆43Updated last year
- Resume (template) written in Typst☆10Updated last week