Popular repositories

1. harrison-rust harrison-rust Public

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

   Rust 9

2. 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

3. sigclust sigclust Public

   An implementation of the SigClust algorithm in Python

   Jupyter Notebook 4 3

4. pyrron pyrron Public

   PageRank in NumPy for arbitrary weighted graphs.

   Python 1

5. scikit-learn scikit-learn Public

   Forked from scikit-learn/scikit-learn

   scikit-learn: machine learning in Python

   Python

6. datasci_course_materials datasci_course_materials Public

   Forked from uwescience/datasci_course_materials

   Public repository for course materials for the Data Science at Scale Specialization at Coursera

   HTML