Owner
matthunz
2 indexed repositories · View on GitHub
-
actuate
A framework for declarative programming in Rust
Rust · 276 stars
-
circuitlib
A digital circuit verification library for Lean4
Lean · 11 stars
-
Preview framework Opendesktop enhancement web
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
auto-update-lean-fail
Difficulty 4/5 3-5 days Newbie friendliness 35/100
matthunz/circuitlib#20 ·
-
Widget Set Open
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
Font weight support Openenhancement material
Difficulty 5/5 Over a week Newbie friendliness 15/100
-
core enhancement experimental
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Keyed lists Opencore enhancement
Difficulty 5/5 Over a week Newbie friendliness 15/100
-
core enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
-
desktop enhancement
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
ECS Inspector Opendesktop enhancement
Difficulty 5/5 Over a week Newbie friendliness 20/100