Alternatives and similar repositories for Introduction-to-Algorithms:

Users that are interested in Introduction-to-Algorithms are comparing it to the libraries listed below

• fun4wut / ECNU-outline-downloader
  批量下载ECNU的课程大纲至本地
  ☆9Updated 5 years ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 3 years ago
• thautwarm / Typed-BNF
  Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.
  ☆60Updated last year
• qcmiao1998 / ECNU_Blackboard_helper
  华东师范大学大夏学堂 Chrome 插件
  ☆9Updated 4 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆20Updated last year
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• Suzhou-Tongyuan / tyjuliacall
  A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+
  ☆9Updated 4 months ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆14Updated 3 years ago
• julia-vscode / JSONRPC.jl
  Julia implementation of JSON RPC
  ☆15Updated last week
• awodey / math
  Mathematical notes and papers
  ☆25Updated last week
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆53Updated 3 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆18Updated 6 years ago
• re-xyr / hemerocallis
  ~ Fabricated replica.
  ☆10Updated 2 years ago
• chakravala / Dendriform.jl
  Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
  ☆16Updated 5 years ago
• YijunYuan / ECNU-Undergraduate-LaTeX
  华东师范大学本科毕业论文模板（不再维护）
  ☆99Updated 4 years ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 3 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated last year
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆28Updated last year
• thautwarm / CanonicalTraits.jl
  Full-featured traits in Julia. Without full features how dare I say this?
  ☆66Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 2 years ago
• JuliaLang / TOML.jl
  A fast TOML parser for TOML 1.0 written in Julia
  ☆35Updated last year
• bread-os / bread-os
  [WIP] BREAD operate system based on X86_64
  ☆49Updated 3 years ago
• timholy / BasicBlockRewriter.jl
  Code-regrouping to reduce latency in Julia code compilation
  ☆15Updated 2 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆39Updated 2 years ago