ericlp

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML980 44 50186
AuditHelper
Automate tedious comparisons
Language:TypeScript0 1 00
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
date-it-2021
Contains competition for Date-IT 2021
Language:Jupyter Notebook0 0 00
Hackathon-2019
Hackathon with Omegapoint and digIT
Language:JavaScript00
Malware
Language:JavaScript0 1 00
songbook
Language:TypeScript0 1 01
tachiyomi-extensions
Source extensions for the Tachiyomi app.
Language:Kotlin0 0 00
tasteit
A website to handle recipes
Language:TypeScript0 0 60
turquoise
Language:Java00

ericlp's Repositories

ericlp/AuditHelper
Automate tedious comparisons
Language:TypeScript0 1 00
ericlp/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
ericlp/date-it-2021
Contains competition for Date-IT 2021
Language:Jupyter Notebook0 0 00
ericlp/Hackathon-2019
Hackathon with Omegapoint and digIT
Language:JavaScript00
ericlp/Malware
Language:JavaScript0 1 00
ericlp/songbook
Language:TypeScript0 1 01
ericlp/tachiyomi-extensions
Source extensions for the Tachiyomi app.
Language:Kotlin0 0 00
ericlp/tasteit
A website to handle recipes
Language:TypeScript0 0 60
ericlp/turquoise
Language:Java00