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:
- Code from CS152 lectures☆14Updated this week
- ☆18Updated 3 years ago
- Chinese Dialect Database☆18Updated 8 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Updated 2 years ago
- 语言学竞赛集成 / Collection on Linguistics Olympiad (Chinese version only)☆26Updated last year
- 有女同車《〈廣韻〉全字表》原表☆15Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Updated 2 years ago
- The most powerful user script for wjx.cn☆10Updated 3 years ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆19Updated 10 months ago
- README☆10Updated 3 weeks ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated last month
- A python library to manipulate formal languages and various automata☆58Updated 5 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
- Minimalist BERT implementation assignment for CS11-711☆83Updated 3 years ago
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- A community database of topological counterexamples☆134Updated this week
- OEIS爬虫☆14Updated 7 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- ☆13Updated 3 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Updated last week
- ☆59Updated last month
- Lambda Notebook: Formal Semantics in Jupyter☆30Updated last month
- Mechanized baselines for various type system features☆18Updated 2 months ago
- ☆22Updated 2 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Updated 4 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
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Updated last week
- Solutions for the book "Speech and Language Processing" (3rd ed. draft) by Dan Jurafsky and James H. Martin☆28Updated 3 years ago
- A LaTeX Class for Informatics theses at The University of Edinburgh☆34Updated 3 years ago
- A simple scala-like dependent type programming language☆22Updated 9 months ago