Alternatives and similar repositories for icorpus

Users that are interested in icorpus are comparing it to the libraries listed below

• Taiwanese-Corpus / hue7jip8

  View on GitHub
  台語、族語、客語的語料清單、彙整
  ☆46Apr 6, 2020Updated 5 years ago
• i3thuan5 / tai5-uan5_gian5-gi2_kang1-ku7

  View on GitHub
  臺灣言語工具
  ☆140Jan 20, 2026Updated 3 weeks ago
• g0v / moedict-data-twblg

  View on GitHub
  臺灣閩南語常用詞辭典 資料檔
  ☆81May 2, 2023Updated 2 years ago
• cacaplus / gojustice

  View on GitHub
  GoJustice 影片編輯助理
  ☆11Feb 10, 2023Updated 3 years ago
• sdivad / WikiTalkParser

  View on GitHub
  A library for extracting and parsing Wikipedia talk pages
  ☆13Apr 20, 2017Updated 8 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• nmrksic / eval-multilingual-simlex

  View on GitHub
  Tool for Evaluating Multilingual WS-353 and SimLex-999
  ☆10Dec 15, 2016Updated 9 years ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• Yorwba / anki-wikidata-geography

  View on GitHub
  generate Anki decks from Wikidata to study geography
  ☆11Nov 6, 2023Updated 2 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• node-unicode / unicode-7.0.0

  View on GitHub
  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 2 months ago
• festime / NCKU-select-course-helper

  View on GitHub
  成大選課小幫手
  ☆10Aug 28, 2015Updated 10 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• codyrobbins / syllabify

  View on GitHub
  A Ruby port of the Penn Phonetics Toolkit (P2TK) syllabifier.
  ☆12Jul 28, 2015Updated 10 years ago
• Hsins / NTU-Thesis-CI

  View on GitHub
  🤖 An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.
  ☆10May 8, 2020Updated 5 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• dohliam / ipa-lookup

  View on GitHub
  Search for pronuncations in different languages
  ☆11Nov 2, 2024Updated last year
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• martinescardo / EffectfulForcing

  View on GitHub
  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
• ludobox / ludobox

  View on GitHub
  A collection of print 'n play board games to make
  ☆10Dec 6, 2022Updated 3 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆12Jan 9, 2022Updated 4 years ago
• leomao / arch-PKGBUILDs

  View on GitHub
  Some PKGBUILDs
  ☆12Aug 5, 2025Updated 6 months ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• outskirtslabs / datomic-pro-flake

  View on GitHub
  A Nix flake providing a Datomic Pro package and NixOS module
  ☆19Feb 3, 2026Updated last week
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• khayyamsaleem / gradual-typing

  View on GitHub
  an implementation of gradual typing in mit-scheme
  ☆10Apr 11, 2021Updated 4 years ago
• pmatos / racket-binaryen

  View on GitHub
  Binaryen bindings for Racket
  ☆11Oct 20, 2021Updated 4 years ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated 10 months ago
• whiteswift / pomodoro-pwa

  View on GitHub
  Time management for the unmanageable developer.
  ☆10Sep 1, 2025Updated 5 months ago
• minicomp / awesome-minicomp

  View on GitHub
  a minimal computing awesome list
  ☆11Jul 29, 2020Updated 5 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago