Giters
Axel Ljungström (aljungstrom)

aljungstrom

Geek Repo

17

followers

6

following

0

stars

Home Page:https://aljungstrom.github.io/

Twitter:@overleaf_user

Github PK Tool:Github PK Tool

Axel Ljungström's repositories

aljungstrom.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

cubical

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

da3018_vt22_repo

Language:JavaLicense:CC0-1.0Stargazers:0Issues:0Issues:0

Data

Language:PythonStargazers:0Issues:1Issues:0

HoTTEST-Summer-School

HoTTEST Summer School materials

Language:TeXStargazers:0Issues:0Issues:0

lib-agda

My customized version of the Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

serre-finiteness

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

SyntheticCohomologyTests

Language:AgdaStargazers:0Issues:0Issues:0

turin-cubical

Language:AgdaStargazers:0Issues:1Issues:0