Pinned Repositories
binaryen
Compiler infrastructure and toolchain library for WebAssembly
cam-notes
My Cambridge Lecture Notes
cloudpickle-generators
cloudpickle support for generators, including partially consumed generators.
codimd-server
CodiMD - Realtime collaborative markdown notes on all platforms.
complete-hs
d2-data
Computer calculated Adams d₂ differentials
grid
Grid paper maker
maths-notes
A collection of some expository notes I have written
matrix-appservice-mattermost
tex2html
dalcde's Repositories
dalcde/grid
Grid paper maker
dalcde/complete-hs
dalcde/dotfiles
dalcde/interrobang
A tiny launcher menu packing a big bang (syntax)
dalcde/notes-dse
dalcde/plastex-patches
dalcde/srcf-web
dalcde/sscas
dalcde/steenrod_modules
Python steenrod algebra implementation