Popular repositories Loading

1. julia julia Public

   Forked from JuliaLang/julia

   The Julia Programming Language

   Julia 1

2. book-of-kubernetes-examples book-of-kubernetes-examples Public

   Forked from book-of-kubernetes/examples

   Examples for The Book of Kubernetes

   Jinja

3. Bonn-Winter-25-26 Bonn-Winter-25-26 Public

   Notes from a course at University of Bonn in the Winter 2025/26 Semester.

   TeX

4. lean-geometric-vertex-algebras lean-geometric-vertex-algebras Public

   Lean formalization of "Geometric Vertex Algebras"

   Lean

5. claude-gjf-conj claude-gjf-conj Public

   Python