臺華平行新聞語料庫
☆16Jul 2, 2018Updated 7 years ago
Alternatives and similar repositories for icorpus
Users that are interested in icorpus are comparing it to the libraries listed below
Sorting:
- 台語、族語、客語的語料清單、彙整☆46Apr 6, 2020Updated 5 years ago
- 臺灣言語工具☆142Jan 20, 2026Updated last month
- GoJustice 影片編輯助理☆11Feb 10, 2023Updated 3 years ago
- 臺灣閩南語常用詞辭典 資料檔☆82May 2, 2023Updated 2 years ago
- A library for extracting and parsing Wikipedia talk pages☆13Apr 20, 2017Updated 8 years ago
- ☆11Oct 25, 2024Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆10Aug 3, 2020Updated 5 years ago
- JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v7.0.0’s categories, sc…☆28Nov 17, 2025Updated 3 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A Ruby port of the Penn Phonetics Toolkit (P2TK) syllabifier.☆12Jul 28, 2015Updated 10 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- 成大選課小幫手☆10Aug 28, 2015Updated 10 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- generate Anki decks from Wikidata to study geography☆11Nov 6, 2023Updated 2 years ago
- Tool for Evaluating Multilingual WS-353 and SimLex-999☆10Dec 15, 2016Updated 9 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- a minimal computing awesome list☆11Jul 29, 2020Updated 5 years ago
- A collection of print 'n play board games to make☆10Dec 6, 2022Updated 3 years ago
- Cross-platform C++11 header-only library for memory mapped file IO☆15Oct 9, 2025Updated 5 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- stoplists for African languages generated from the ASP corpus☆14Jan 16, 2016Updated 10 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- ☆12Dec 30, 2020Updated 5 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ☆12Updated this week
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated 2 weeks ago
- Basic Unicode support for Lean 4☆15Updated this week
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago