Skip to content
Change the repository type filter

All

    Repositories list

    • 2025 The Little Typer Reading Group in Stellenbosch
      CSS
      0200Updated Feb 10, 2025Feb 10, 2025
    • orbital

      Public
      Orbital
      C
      zlib License
      0000Updated Jan 19, 2025Jan 19, 2025
    • lean-ecs

      Public
      Entity Component System in Lean based on apecs
      Lean
      zlib License
      0000Updated Jan 19, 2025Jan 19, 2025
    • Jessica Can't Swim Game
      C
      zlib License
      0000Updated Jan 16, 2025Jan 16, 2025
    • Image library in Lean with Proofs and output via Raylib
      C
      zlib License
      0000Updated Jan 16, 2025Jan 16, 2025
    • lens-demo

      Public
      a Demo of lenses in Lean
      Lean
      zlib License
      0000Updated Jan 15, 2025Jan 15, 2025
    • raylean

      Public
      Lean4 bindings for raylib
      C
      zlib License
      41100Updated Jan 15, 2025Jan 15, 2025
    • CSS
      0000Updated Jan 11, 2025Jan 11, 2025
    • A Cheat Sheet for Coq Developers who want to try LeanProver
      Lean
      Apache License 2.0
      01500Updated Jul 25, 2023Jul 25, 2023
    • ccc-talk

      Public
      Correct Code by Construction talk's code
      Makefile
      BSD 3-Clause "New" or "Revised" License
      0200Updated May 8, 2023May 8, 2023
    • Presentation: Advertising Coq - Proving is Programming
      Coq
      Apache License 2.0
      0200Updated Jun 18, 2022Jun 18, 2022