anderslundstedt

Pinned Repositories

anderslundstedt.github.io
Language:HTML1 3 00
askhjdhkjdas
00
JuliaMono-debug
Language:Python0 2 00
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:Coq0 2 00
juliamono
repository for JuliaMono, a monospaced font with reasonable Unicode support.
Language:CSS1.4k 25 20729
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.6k 275 43.2k14.4k
ffmpeg-normalize
Audio Normalization for Python/ffmpeg
Language:Python1.3k 28 214118

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:Python0 2 00
anderslundstedt/nixpkgs
Nix Packages collection
Language:Nix0 2 00
anderslundstedt/type-experiments
experiments with types
Language:Coq0 2 00