GitHunt

Axel Ljungström

aljungstrom

https://aljungstrom.github.io/

Languages

Agda56%JavaScript22%TeX11%Python11%

Repos

11

Stars

0

Forks

0

Top Language

Agda

Loading contributions...

Repositories

11
AL
aljungstrom/aljungstrom.github.io

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

JavaScript00Updated 1 month ago
AL
aljungstrom/serre-finitenessFork

No description provided.

Agda00Updated 1 month ago
AL
aljungstrom/containers

No description provided.

Agda00Updated 8 months ago
AL
aljungstrom/minesweeper

No description provided.

JavaScript00Updated 1 year ago
AL
aljungstrom/SyntheticCohomologyTests

No description provided.

Agda00Updated 2 years ago
AL
aljungstrom/turin-cubical

No description provided.

Agda00Updated 2 years ago
AL
aljungstrom/HoTTEST-Summer-SchoolFork

HoTTEST Summer School materials

TeX00Updated 3 years ago
AL
aljungstrom/da3018_vt22_repoFork

No description provided.

00Updated 3 years ago
AL
aljungstrom/cubicalFork

No description provided.

Agda00Updated 1 month ago
AL
aljungstrom/Data

No description provided.

Python00Updated 5 years ago
AL
aljungstrom/lib-agdaFork

My customized version of the Agda standard library

00Updated 11 years ago

Gists

Recent Activity

Axel Ljungström (aljungstrom) | GitHunt