Eric Carlsson's repositories
aspa-next
A website about the committees and societies of the Software Engineering Student Division (IT) and how to become a part of them.
Language:TypeScript000
AuditHelper
Automate tedious comparisons
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
date-it-2021
Contains competition for Date-IT 2021
Language:Jupyter Notebook000
dokument
Dokument tillhörande Teknologsektionen Informationsteknik på Chalmers Tekniska Högskola
Language:TeXMIT000
Hackathon-2019
Hackathon with Omegapoint and digIT
Language:JavaScript000
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard MLNOASSERTION000
tachiyomi-extensions
Source extensions for the Tachiyomi app.
Language:KotlinApache-2.0000
Language:JavaMIT000
zlib
A git mirror of zlib releases
Language:C000