Aqissiaq

Student and TA

Pinned Repositories

abstools
The ABS modeling language and surrounding tools
Language:Java0 0 00
agda-unimath
Univalent mathematics in Agda
Language:Makefile0 0 00
aoc-2021
Repository for my solutions to Advent of Code 2021
Language:Haskell0 1 00
aoc-2022
Repository for advent of code 2022
Language:Rust0 1 00
Aqissiaq.github.io
a website? for me?
Language:Haskell0 1 00
bachelor
Repository for work on my bachelor thesis
Language:TeX0 1 00
cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Language:Coq0 0 00
hpt-experiments
Various attempts to model version control systems in Homotopy Type Theory
Language:Agda9 1 00
ICTAC-DenotSymbEx
Coq mechanization of "Denotational Semantics for Symbolic Execution" for ICTAC23 submission
Language:Coq1 2 00
symex-formally-formalized
Coq formalization of Symbolic Execution Formally Explained
Language:Coq2 3 00

Aqissiaq's Repositories

Aqissiaq/hpt-experiments
Various attempts to model version control systems in Homotopy Type Theory
Language:Agda9 1 00
Aqissiaq/symex-formally-formalized
Coq formalization of Symbolic Execution Formally Explained
Language:Coq2 3 00
Aqissiaq/ICTAC-DenotSymbEx
Coq mechanization of "Denotational Semantics for Symbolic Execution" for ICTAC23 submission
Language:Coq1 2 00
Aqissiaq/abstools
The ABS modeling language and surrounding tools
Language:Java0 0 00
Aqissiaq/agda-unimath
Univalent mathematics in Agda
Language:Makefile0 0 00
Aqissiaq/aoc-2021
Repository for my solutions to Advent of Code 2021
Language:Haskell0 1 00
Aqissiaq/aoc-2022
Repository for advent of code 2022
Language:Rust0 1 00
Aqissiaq/Aqissiaq.github.io
a website? for me?
Language:Haskell0 1 00
Aqissiaq/bachelor
Repository for work on my bachelor thesis
Language:TeX0 1 00
Aqissiaq/cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Language:Coq0 0 00
Aqissiaq/Chairs
Language:Python0 0 00
Aqissiaq/ctrees
An itree-like data-structure to additionally support internal non-determinism
Language:Coq0 0 00
Aqissiaq/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
Aqissiaq/denotse
Language:Haskell1 0
Aqissiaq/gitignore
A collection of useful .gitignore templates
0 0
Aqissiaq/inf1400-akl043-3
Repository for third obligatory assignment in INF-1400, spring 2019
Language:Python0 0
Aqissiaq/INF210-H2020
Repository for INF210, Fall semester 2020
Language:TeX1 0
Aqissiaq/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq0 0
Aqissiaq/Lantern
Repository for 3-week project
Language:C#1 0
Aqissiaq/league_simulation
Some quick code to answer the question posed here: https://twitter.com/standupmaths/status/1365643552269754368?s=20
Language:Python1 0
Aqissiaq/master-thesis
Repo for master thesis
Language:TeX1 0
Aqissiaq/Procedural-experimentation
Language:C#0 0
Aqissiaq/proj
procrastinating, mostly
Language:Python0 0
Aqissiaq/uit-inf-1400-2019.github.io
Language:Python0 0
Aqissiaq/WFC_fun
Language:Python0 0

Aqissiaq

Pinned Repositories

abstools

agda-unimath

aoc-2021

aoc-2022

Aqissiaq.github.io

bachelor

cdf-mech-sem

hpt-experiments

ICTAC-DenotSymbEx

symex-formally-formalized

Aqissiaq's Repositories

Aqissiaq/hpt-experiments

Aqissiaq/symex-formally-formalized

Aqissiaq/ICTAC-DenotSymbEx

Aqissiaq/abstools

Aqissiaq/agda-unimath

Aqissiaq/aoc-2021

Aqissiaq/aoc-2022

Aqissiaq/Aqissiaq.github.io

Aqissiaq/bachelor

Aqissiaq/cdf-mech-sem

Aqissiaq/Chairs

Aqissiaq/ctrees

Aqissiaq/cubical

Aqissiaq/denotse

Aqissiaq/gitignore

Aqissiaq/inf1400-akl043-3

Aqissiaq/INF210-H2020

Aqissiaq/InteractionTrees

Aqissiaq/Lantern

Aqissiaq/league_simulation

Aqissiaq/master-thesis

Aqissiaq/Procedural-experimentation

Aqissiaq/proj

Aqissiaq/uit-inf-1400-2019.github.io

Aqissiaq/WFC_fun