Projects · Explore

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

ii / INF101 / 23V / students / Lecture code

2

Updated Mar 21, 2023

2 82 0 0

Updated Mar 21, 2023
P

R.Bortne / personlistviewer

0

Updated Mar 21, 2023

0 0 0 0

Updated Mar 21, 2023
P

V.Larsen / personlistviewer

0

Updated Mar 21, 2023

0 0 0 0

Updated Mar 21, 2023
P

Anders.Sortun / personlistviewer

0

Updated Mar 21, 2023

0 0 0 0

Updated Mar 21, 2023
S

Språksamlingane / stadnamn / datasett / stadnamn-archive

0

Updated Mar 21, 2023

0 0 0

Updated Mar 21, 2023
C

it-bott-integrasjoner / cristin-ms

1

Updated Mar 21, 2023

1 0 0 0

Updated Mar 21, 2023
Thanh.Phan / Lecture code

0

Updated Mar 20, 2023

0 0 0 0

Updated Mar 20, 2023
HoTT / hott-set-theory

An Agda development of set theory inside homotopy type theory.

4

Updated Mar 20, 2023

4 0 0 12

Updated Mar 20, 2023
A

HoTT / agda-unimath
MIT License

Univalent mathematics in Agda

0

Updated Mar 20, 2023

0 0 0 4

Updated Mar 20, 2023
N

Språksamlingane / stadnamn / norsampo
MIT License

0

Updated Mar 20, 2023

0 0 0 0

Updated Mar 20, 2023
G

it-bott-integrasjoner / greg-client

1

Updated Mar 20, 2023

1 0 0 0

Updated Mar 20, 2023
G

it-bott-integrasjoner / greg
GNU General Public License v3.0

Guest REGistration

2

Updated Mar 20, 2023

2 1 5

Updated Mar 20, 2023
P

Marius.Jorgensen / personlistviewer 17-03-2023

0

Updated Mar 17, 2023

0 0 0 0

Updated Mar 17, 2023
P

ii / INF101 / 23V / students / personlistviewer

0

Updated Mar 17, 2023

0 29 0 0

Updated Mar 17, 2023
A

Java Junkies / Astro Adventure

3

Updated Mar 16, 2023

3 1 0 0

Updated Mar 16, 2023
D

it-bott-integrasjoner / Documaster Client

0

Updated Mar 16, 2023

0 0 0 9

Updated Mar 16, 2023
O

INF142 / oblig1

0

Updated Mar 14, 2023

0 0 0 0

Updated Mar 14, 2023
M

it-bott-integrasjoner / Manntallsrapport for Evalg

0

Updated Mar 14, 2023

0 0 0 0

Updated Mar 14, 2023
T

INF112 / 23V / textutils

0

Updated Mar 14, 2023

0 98 2 0

Updated Mar 14, 2023
T

ii / INF222 / V23 / Assignments / Test Runner

1

Updated Mar 14, 2023

1 0 1 0

Updated Mar 14, 2023