• A block modeling system for cognitive neuroscience

    Python 17 5 Apache-2.0 Updated Sep 25, 2018
  • Verified Software Toolchain

    Coq 117 49 Updated Sep 25, 2018
  • Coq 11 3 Updated Sep 25, 2018
  • Python 1 Updated Sep 25, 2018
  • CHARIS reduction pipeline.

    Jupyter Notebook Updated Sep 24, 2018
  • A map to remedy VA's unconstitutional House of Delegates districts, with accompanying analysis

    HTML 2 1 Updated Sep 21, 2018
  • 3D Covariance Estimation for Cryo-EM

    Matlab 1 Updated Sep 22, 2018
  • Python tools for access, analysis, and visualization of VPIC data

    Python Updated Sep 21, 2018
  • A loose collection of utilities for preprocessing geographic data for studying redistricting.

    Jupyter Notebook 2 1 AGPL-3.0 Updated Sep 21, 2018
  • Mathematica MIT Updated Sep 18, 2018
  • Princeton Research Computing Bootcamp

    CSS Updated Sep 13, 2018
  • Coq 4 Updated Sep 8, 2018
  • Lots of metrics for quantifying gerrymandering

    Jupyter Notebook 1 GPL-3.0 Updated Aug 28, 2018
  • Automatic Particle Picking, a Low-Effort Cryo-EM Framework

    Matlab 4 Updated Aug 29, 2018
  • The OpenPiton Platform

    Assembly 26 1 Updated Aug 28, 2018
  • Dataset of state legislative elections from 1971 - 2016.

    Python 20 2 Updated Aug 27, 2018
  • fMRI analysis pipeline

    Shell 1 4 Updated Aug 24, 2018
  • Athena++ radiation MHD code

    C++ 44 38 BSD-3-Clause Updated Aug 1, 2018
  • Bayesian Structured Sparsity from Gaussian Fields

    Python Updated Jul 5, 2018
  • CSS 1 Updated Jun 26, 2018
  • Linux Kernel for OpenPiton

    C 23 11 Updated Jun 1, 2018
  • Forth 10 4 Updated Jun 1, 2018
  • Matlab BSD-3-Clause Updated May 31, 2018
  • MATLAB routines used to perform Quantitative Analysis of Sacculus Architectural Remodeling

    Matlab BSD-3-Clause Updated May 18, 2018
  • JavaScript 1 Updated May 14, 2018
  • Stable release of ILA models and verification settings

    C++ 1 MIT Updated May 4, 2018
  • Stable release of template-driven ILA synthesis engine with Python API

    C++ 1 MIT Updated May 4, 2018
  • WSSE authentication implementations for various server backends/clients.

    Python 5 LGPL-3.0 Updated May 2, 2018
  • Pull transfer logs from Globus.org and plot various graphs.

    PHP 3 1 GPL-3.0 Updated Apr 25, 2018
  • Princeton University COS 461: Computer Networks

    Go 16 16 Updated Apr 24, 2018