Pinned Loading

1. category-theory category-theory Public

   Forked from jwiegley/category-theory

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Coq

2. kotlin kotlin Public

   Forked from JetBrains/kotlin

   The Kotlin Programming Language

   Kotlin

3. kubernetes kubernetes Public

   Forked from kubernetes/kubernetes

   Production-Grade Container Scheduling and Management

   Go

4. pandas-cookbook pandas-cookbook Public

   Forked from jvns/pandas-cookbook

   Recipes for using Python's pandas library

   Jupyter Notebook

5. swift swift Public

   Forked from swiftlang/swift

   The Swift Programming Language

   C++

6. go go Public

   Forked from golang/go

   The Go programming language

   Go