Popular repositories Loading

1. foundations-of-computation-lean foundations-of-computation-lean Public

   Standalone Lean 4 formalization of the Foundations of Computation textbook

   Lean 1

2. 486quake 486quake Public

   Forked from goshhhy/TurboQuake

   quake but do it faster

   C

3. mosquitto mosquitto Public

   Forked from eclipse-mosquitto/mosquitto

   Eclipse Mosquitto - An open source MQTT broker

   C

4. nghttp2 nghttp2 Public

   Forked from nghttp2/nghttp2

   nghttp2 - HTTP/2 C Library and tools

   C++

5. compfiles compfiles Public

   Forked from dwrensha/compfiles

   Catalog Of Math Problems Formalized In Lean

   Lean

6. verso verso Public

   Forked from leanprover/verso

   Lean documentation authoring tool

   Lean