dginev / CorTeXLinks
A general purpose processing framework for corpora of scientific documents
☆65Updated this week
Alternatives and similar repositories for CorTeX
Users that are interested in CorTeX are comparing it to the libraries listed below
Sorting:
- common language and mathematics processing algorithms, in Rust☆28Updated last year
- MathWebSearch Implementation☆48Updated 2 years ago
- Wikidata property explorer☆17Updated last year
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 9 months ago
- Flask app for article abstract and listing pages☆171Updated this week
- ☆29Updated 2 years ago
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆77Updated 3 weeks ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- Rust library for Self Organising Maps (SOM).☆34Updated 2 years ago
- Read, Collaborate and talk about scientific papers☆30Updated 2 years ago
- 🫓 A parser for the FlatZinc modelling language☆13Updated 7 months ago
- A python library to deal with scientific papers.☆17Updated 9 years ago
- Providing references and citations on abstract pages for the arXiv☆145Updated 2 years ago
- Implementation of generative semantic grammar.☆17Updated 3 years ago
- CSL processor in Rust.☆80Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- A high performance bibliographic information service: https://biblio-glutton.readthedocs.io☆144Updated 3 months ago
- This tool uses OpenCV to automatically synchronize slides with videos that show these slides.☆104Updated 3 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Intelligence Task Ontology (ITO)☆74Updated 3 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- A WordNet in GF☆27Updated this week
- RDF library implemented in Rust☆28Updated 4 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 3 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- CLI tools for mathjax-node☆33Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago