Library for computing persistent homology

CoDi: Commutative Diagrams for TeX

Computing with matrix factorisations

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

Deep learning and linear logic

A Coq library for Homotopy Type Theory

A textbook on informal homotopy type theory

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

Uniform Manifold Approximation and Projection

Notes on Vistoli's notes on descent

My notes on Lurie's HTT

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

Better LaTeX experience with Sublime Text

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)