Skip to content
@funexists

Fun Exists

Popular repositories Loading

  1. raylean raylean Public

    Lean4 bindings for raylib

    C 23 5

  2. coq-lean-cheatsheet coq-lean-cheatsheet Public

    A Cheat Sheet for Coq Developers who want to try LeanProver

    Lean 19 1

  3. 2025-stellenbosch 2025-stellenbosch Public

    2025 The Little Typer Reading Group in Stellenbosch

    Racket 4 3

  4. advertising-coq advertising-coq Public

    Presentation: Advertising Coq - Proving is Programming

    Coq 2

  5. ccc-talk ccc-talk Public

    Correct Code by Construction talk's code

    Makefile 2

  6. jessicacantswim jessicacantswim Public

    Jessica Can't Swim Game

    C 1

Repositories

Showing 10 of 12 repositories
  • lean-pan Public

    A lean4 implementation of Conal Elloitt's pan, a language for image synthesis and manipulation http://conal.net/pan/

    funexists/lean-pan’s past year of commit activity
    C 0 0 0 0 Updated Mar 7, 2026
  • lens-demo Public

    a Demo of lenses in Lean

    funexists/lens-demo’s past year of commit activity
    Lean 0 Zlib 0 0 0 Updated Mar 6, 2026
  • raylean Public

    Lean4 bindings for raylib

    funexists/raylean’s past year of commit activity
    C 23 Zlib 5 0 0 Updated Feb 27, 2026
  • 2025-stellenbosch Public

    2025 The Little Typer Reading Group in Stellenbosch

    funexists/2025-stellenbosch’s past year of commit activity
    Racket 4 3 0 0 Updated Dec 3, 2025
  • jessicacantswim Public

    Jessica Can't Swim Game

    funexists/jessicacantswim’s past year of commit activity
    C 1 Zlib 0 0 0 Updated Aug 13, 2025
  • image-denotation Public

    Image library in Lean with Proofs and output via Raylib

    funexists/image-denotation’s past year of commit activity
    C 1 Zlib 0 0 0 Updated Feb 11, 2025
  • funexists.github.io Public
    funexists/funexists.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Feb 11, 2025
  • orbital Public

    Orbital

    funexists/orbital’s past year of commit activity
    C 0 Zlib 0 0 0 Updated Jan 19, 2025
  • lean-ecs Public

    Entity Component System in Lean based on apecs

    funexists/lean-ecs’s past year of commit activity
    Lean 1 Zlib 0 0 0 Updated Jan 19, 2025
  • coq-lean-cheatsheet Public

    A Cheat Sheet for Coq Developers who want to try LeanProver

    funexists/coq-lean-cheatsheet’s past year of commit activity
    Lean 19 Apache-2.0 1 0 0 Updated Jul 25, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…