Popular repositories Loading

1. cppII cppII Public

   Collection of files from a second course in C++ with an emphasis on OOP

2. django django Public

   Forked from django/django

   The Web framework for perfectionists with deadlines.

   Python

3. CA-Stormwater-Data-Challenge CA-Stormwater-Data-Challenge Public

   Forked from California-Data-Collaborative/CA-Stormwater-Data-Challenge

   Visualize potential dry-weather runoff contributing areas to identify prioritization for areas to target

   R

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1