Stars
CoDi: Commutative Diagrams for TeX
Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
An approach to higher algebra in type theory
A tool to visually study the geography of Fano 3-folds.
Notes from the 278 semester class at Harvard
Transforming scholarly publications into living digital works.
A file-based mirror of the nLab wiki (Markdown+itex2MML format).
An open source productivity tool drawing inspiration from workflowy and vim
A framework for applied category theory in the Julia language
Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
A simple visual editor for creating commutative diagrams.
✨Fast Coreference Resolution in spaCy with Neural Networks
The Berkeley Entity Resolution System jointly solves the problems of named entity recognition, coreference resolution, and entity linking with a feature-rich discriminative model.
A Keras implementation of CapsNet in NIPS2017 paper "Dynamic Routing Between Capsules". Now test error ＝ 0.34%.
A Tensorflow implementation of CapsNet(Capsules Net) in paper Dynamic Routing Between Capsules
The WebSplit Benchmark introducing "Split and Rephrase" task
Julia package for working with tensors, i.e. multilinear maps between vector spaces
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Tools for using Maluuba's NewsQA Dataset (public version)