theElusiveJoe's Stars
apache/cassandra-gocql-driver
GoCQL Driver for Apache Cassandra®
keroserene/rickrollrc
Rick Astley invades your terminal.
libsemigroups/libsemigroups
C++ library for semigroups and monoids
zwang4/awesome-machine-learning-in-compilers
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
lupantech/InterGPS
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
phamquiluan/PubLayNet
ICDAR 2019: MaskRCNN on PubLayNet datasets. Paragraph detection, table detection, figure detection,...
Pur3Vessel/BMSTU
Мои скромные потуги в учебе
TonitaN/Blanks-4LaTeX
Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.
TonitaN/FormalLanguageTheory
Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)
bewakes/termite-themes
A tool to change termite themes easily like a snap!