Popular repositories Loading

1. harrison-rust harrison-rust Public

   Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)

   Rust 10

2. cool_rust cool_rust Public

   A compiler for the Cool language written in Rust with an LLVM backend.

   Rust 6

3. pcfg pcfg Public

   A Python pcfg object that consumes tree-banks in order to be trained and parses raw text into the same tree format

   Python 5 2

4. sigclust sigclust Public

   An implementation of the SigClust algorithm in Python

   Jupyter Notebook 4 3

5. pyrron pyrron Public

   PageRank in NumPy for arbitrary weighted graphs.

   Python 1

6. charlevel_convnet charlevel_convnet Public

   Text Classification with Character-Level ConvNets

   Python