Movatterモバイル変換

Showing 10 of 11 repositories

raylean Public
Lean4 bindings for raylib
funexists/raylean’s past year of commit activity
C 14Zlib 5 0 0 UpdatedJun 30, 2025
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 UpdatedJun 26, 2025
image-denotation Public
Image library in Lean with Proofs and output via Raylib
funexists/image-denotation’s past year of commit activity
C 1Zlib0 0 0 UpdatedFeb 11, 2025
funexists.github.io Public
funexists/funexists.github.io’s past year of commit activity
CSS00 0 0 UpdatedFeb 11, 2025
jessicacantswim Public
Jessica Can't Swim Game
funexists/jessicacantswim’s past year of commit activity
C0Zlib0 0 0 UpdatedFeb 11, 2025
orbital Public
Orbital
funexists/orbital’s past year of commit activity
C0Zlib0 0 0 UpdatedJan 19, 2025
lean-ecs Public
Entity Component System in Lean based on apecs
funexists/lean-ecs’s past year of commit activity
Lean0Zlib0 0 0 UpdatedJan 19, 2025
lens-demo Public
a Demo of lenses in Lean
funexists/lens-demo’s past year of commit activity
Lean0Zlib0 0 0 UpdatedJan 15, 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 17Apache-2.0 1 0 0 UpdatedJul 25, 2023
ccc-talk Public
Correct Code by Construction talk's code
funexists/ccc-talk’s past year of commit activity
Makefile 2BSD-3-Clause0 0 0 UpdatedMay 8, 2023

Navigation Menu