sahanbull / VLE-DatasetLinks
☆11Updated 2 years ago
Alternatives and similar repositories for VLE-Dataset
Users that are interested in VLE-Dataset are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 years ago
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Chinese Dialect Database☆18Updated 8 years ago
- Code from CS152 lectures☆14Updated last month
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆52Updated 2 years ago
- 有女同車《〈廣韻〉全字表》原表☆15Updated last year
- Lean4中文教程☆35Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Updated last week
- Emoji support in (Lua)LaTeX☆83Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Updated 3 weeks ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆19Updated 10 months ago
- Proof in Lean of Fermat Last Theorem for exponent 3☆40Updated last year
- IMO Grand Challenge for Artificial Intelligence☆47Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- A Chu Nom Standardization Project initiated by Liu(@valestanov). 一项自行发起的喃字标准化项目。Một dự án tiêu chuẩn hóa chữ Nôm của Liu.☆12Updated 4 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Updated 4 months ago
- Multi platform setup for Coq, Coq libraries and tools☆223Updated 3 weeks ago
- Solution to Algebra, Chapter 0☆100Updated last month
- multilingual dictionary of mathematical terminology☆20Updated 3 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆72Updated this week
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Coq code formatter☆24Updated last week
- Theorem Proving in Lean 4☆231Updated last month
- Problem rendering engine for WeBWorK☆47Updated 2 weeks ago
- Solutions for the book "Speech and Language Processing" (3rd ed. draft) by Dan Jurafsky and James H. Martin☆28Updated 3 years ago
- Lean 定理证明☆23Updated last month
- Listing of online math seminars☆43Updated 3 months ago