Popular repositories Loading

1. math math Public

   Python 6 2

2. vault vault Public

   Forked from hashicorp/vault

   A tool for secrets management, encryption as a service, and privileged access management

   Go 1

3. ta ta Public

   Forked from bukosabino/ta

   Technical Analysis Library using Pandas and Numpy

   Jupyter Notebook 1

4. mathlib4-planar-nullcone mathlib4-planar-nullcone Public

   Forked from leanprover-community/mathlib4

   Proofs and formalizations of the 2 variable Gaussian Moment Conjecture, which follows from the nullcone conjkecture of the same dimension

   Lean 1

5. ansible ansible Public

   Forked from ansible/ansible

   Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

   Python

6. Solar Solar Public

   Forked from ceeK/Solar

   copy of solar just in case

   Swift