Pinned Repositories
DivestOS-Build
Everything needed to build DivestOS, a more private and more secure aftermarket mobile operating system.
abstract-interpreter
advanced-topics
canonical-normal-form-regular-categories
A canonical normal form theorem for the type theory of regular categories
computability
FMHYedit
Make changes to FMHY
haskell-course
This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
edit
Make changes to FMHY
apps.obtainium.imranr.dev
Collection of suggested apps for Obtainium.
eapiova's Repositories
eapiova/abstract-interpreter
eapiova/advanced-topics
eapiova/canonical-normal-form-regular-categories
A canonical normal form theorem for the type theory of regular categories
eapiova/computability
eapiova/FMHYedit
Make changes to FMHY
eapiova/haskell-course
This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.
eapiova/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant