Geeks
SchrodingerZhu
/
LeanGccBackend
Lean4 backend using `libgccjit`!
Primary Language
Lean
LeanGccBackend GitHub
Markdown
Readme
0
Issues
11
Stargazers
3
Watchers
Stargazers
anqurvanillapy
@Shopee
CAIMEOX
IDEA
catbeat
Johns Hopkins
dannypsnl
@second-state
forked-from-1kasper
Milky Way, Solar System, Earth
jmanuel1
Imagine Learning
rujialiu
Eryiju Inc.
SchrodingerZhu
University of Rochester
soonhokong
Amazon Web Services
utensil