anderslundstedt

Pinned Repositories

anderslundstedt.github.io
Language:HTML1 3 00
askhjdhkjdas
00
JuliaMono-debug
Language:Python00
nixpkgs
Nix Packages collection
Language:Nix0 2 00
pca-realizability
Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
Language:Coq13 2 10
type-experiments
experiments with types
Language:Coq00
juliamono
repository for JuliaMono, a monospaced font with reasonable Unicode support.
Language:CSS1.4k 25 20330
nix-environments
Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)
Language:Nix188 14 1233
nixpkgs
Nix Packages collection & NixOS
Language:Nix17.4k 282 40.8k13.6k

anderslundstedt's Repositories

anderslundstedt/pca-realizability
Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
Language:Coq13 2 10
anderslundstedt/anderslundstedt.github.io
Language:HTML1 3 00
anderslundstedt/askhjdhkjdas
00
anderslundstedt/JuliaMono-debug
Language:Python00
anderslundstedt/nixpkgs
Nix Packages collection
Language:Nix0 2 00
anderslundstedt/type-experiments
experiments with types
Language:Coq00