Owner
Eloitor
5 indexed repositories · View on GitHub
-
ZigWindowManager
A basic window manager written in Zig.
Zig · 19 stars
-
Lean · 2 stars
-
four-squares-modular-forms
Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as possible.
Lean · 2 stars
-
Brainfuck-in-Formality
A simple Brainfuck interpreter written in Formality.
1 star
-
JavaScript · 0 stars
-
port to Kind Open
Eloitor/Brainfuck-in-Formality#1 · 0 comments · 0 reactions · 1 assignee ·
-
Improve zooming Open
Eloitor/padic-video#1 · 0 comments · 0 reactions · 1 assignee ·
-
Create github action Openenhancement good first issue help wanted
Eloitor/ZigWindowManager#4 · 0 comments · 0 reactions · 0 assignees ·
-
bug good first issue help wanted
Eloitor/ZigWindowManager#5 · 1 comment · 1 reaction · 0 assignees ·
-
Eloitor/Constructive-Analysis-in-Lean#5 · 0 comments · 0 reactions · 0 assignees ·
-
Eloitor/four-squares-modular-forms#2 · 0 comments · 0 reactions · 1 assignee ·