Fredrik Bakke's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode-vscode
agda-mode on VS Code
agda-unimath
Univalent mathematics in Agda
dirichlet-numerics
Dirichlet .NET Number Theory Library
hottbook
HoTT Book formalisations in Rzk.
JavaScript-Is-Weird
Code for the JS Is Weird (EXTREME EDITION) video
kmall-csharp
An unfinished C# class library for reading and writing Kongsberg .kmall files.
matematisk_ordliste
Matematisk ordliste
mdbook-bib
mdbook plugin allowing to load and present a bibliography in BibLaTex format in your books and cite its references
Parentassigment_OHm
Parentage assignment using opposite homozygote methods.
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
vscode-rzk
Visual Studio Code Extension(s) for rzk proof assistant.
yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories