TEAM42

Popular repositories Loading

1. mumblekit mumblekit Public

   Forked from mumble-voip/mumblekit

   Objective-C-based Mumble client framework for iOS and Mac OS X

   Objective-C

2. spine-runtimes spine-runtimes Public

   Forked from EsotericSoftware/spine-runtimes

   2D skeletal animation runtimes for Spine.

   C++

3. SpineSwiftRuntime SpineSwiftRuntime Public

   Forked from pbk20191/SpineSwiftRuntime

   Swift

4. dropbox-viewer dropbox-viewer Public

   HTML

5. sierksma33 sierksma33 Public

   Lean 4 formalization of Sierksma's conjecture for nine points in R^3 (d = 3, r = 3)

   Lean

6. hard-sphere-b5-lean hard-sphere-b5-lean Public

   Lean 4 formalization of geometric lemmas for the fifth virial coefficient of hard spheres

   Lean