-
alexeyev.github.io Public
my brand new homepage to replace an old google site
-
The core theory of FSTs and rational relations — formalized in Lean 4 with no dependency on Mathlib
-
mystem-scala Public
Morphological analyzer `mystem` (Russian language) wrapper for JVM languages
-
apertium-kir Public
Forked from apertium/apertium-kirApertium linguistic data for Kyrgyz
TeX GNU General Public License v3.0 UpdatedJun 19, 2026 -
Mathlib-free Lean 4 Formalization of MV-algebras and the Soundness of Łukasiewicz / Basic Logic
-
apertium2ud Public
tag parser and converter between the two tagsets: Apertium (enhanced Leipzig?) and the one used in UD
-
refalcon Public
IntelliJ IDEA Plugin for Refal 5λ (+Refal-2 and Refal-5)
-
gardiner2unicode Public
f("A1") = 𓀀; also A1.png
-
RuConceptNet Public
/ru/ConceptNet5.7 Python wrapper
-
abae-pytorch Public
PyTorch implementation of 'An Unsupervised Neural Attention Model for Aspect Extraction' by He et al. ACL2017'
-
awesome-kyrgyz-nlp Public
Kyrgyz language processing software, models and datasets.
-
awesome-azerbaijani-nlp Public
Azerbaijani language processing software, models and datasets.
-
nlp-labs-spring-2025 Public
Игрушечные примеры для курса обработки языка
-
Multi-label 24.kg Kyrgyz news articles classification into 20 topics: data & baselines
-
-
smol-course Public
Forked from huggingface/smol-courseA course on aligning smol models.
Jupyter Notebook Apache License 2.0 UpdatedJan 24, 2025 -
UD_Kyrgyz-KTMU_meta Public
Forked from UniversalDependencies/UD_Kyrgyz-KTMUOther UpdatedJan 13, 2025 -
tratreetra Public
simple syntactic transfer based on the treebank translation
universal-dependencies annotation-tool syntactic-analysis low-resource-languages part-of-speech-tagging dependency-grammar less-resource-languagesPython MIT License UpdatedDec 27, 2024 -
kyrgyz-embedding-evaluation Public
A benchmark for embeddings evaluation for Kyrgyz language
-
EasyOCR Public
Forked from JaidedAI/EasyOCRReady-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.
Python Apache License 2.0 UpdatedDec 5, 2024 -
-
riding-the-sine-wave Public
...and generating ugly state-action maps for MountainCar-v0
Python UpdatedJul 25, 2024 -
cooddy Public
Forked from program-analysis-team/cooddySource code (C, C++, Java) static analysis tool
C++ Other UpdatedJul 5, 2024 -
annotated-transformer Public
Forked from harvardnlp/annotated-transformerAn annotated implementation of the Transformer paper.
Jupyter Notebook MIT License UpdatedApr 7, 2024 -
mtsar-custom Public
Forked from mtsar/mtsarMechanical Tsar (Project Halted, Maintainer Needed).
Java Apache License 2.0 UpdatedJan 20, 2024 -
openie6 Public
Forked from dair-iitd/openie6OpenIE6 system: a fork with a Dockerfile
-
russe-evaluation Public
Forked from nlpub/russe-evaluationEvaluation tools for the RUSSE evaluation campaign.
Python MIT License UpdatedApr 15, 2023 -
EasySAT Public
Forked from shaowei-cai-group/EasySATA Simple CDCL Solver
C++ Other UpdatedMar 8, 2023 -
-
GraphQSat-CUDA-11.3 Public
Forked from NVIDIA/GraphQSatUsing GNN and DQN to find a baetter branching heuristic for a CDCL Solver
C++ Other UpdatedDec 9, 2022