Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
BoFunComplexity
Associated code for paper "Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials" by Julia and Patrik Jansson.
book
A textbook on informal homotopy type theory
cisinski-higher-cats
Reading group for Cisinski's higher categories and homotopical algebra
cpython
The Python programming language
DATX11-30-puzzle-solver
A bachelor thesis project at Chalmers University of Technology
diagrams-lib
Diagrams standard library
Drawpile
A collaborative drawing program
dulwich
Pure-Python Git implementation
hott-reading-course
Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering
sattlerc's Repositories
sattlerc/hott-reading-course
Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering
sattlerc/cisinski-higher-cats
Reading group for Cisinski's higher categories and homotopical algebra
sattlerc/agda
Agda is a dependently typed programming language / interactive theorem prover.
sattlerc/BoFunComplexity
Associated code for paper "Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials" by Julia and Patrik Jansson.
sattlerc/book
A textbook on informal homotopy type theory
sattlerc/cpython
The Python programming language
sattlerc/DATX11-30-puzzle-solver
A bachelor thesis project at Chalmers University of Technology
sattlerc/diagrams-lib
Diagrams standard library
sattlerc/Drawpile
A collaborative drawing program
sattlerc/dulwich
Pure-Python Git implementation
sattlerc/HoTT-Agda
Development of homotopy type theory in Agda
sattlerc/instiki
a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.
sattlerc/lc2016
Static website for Logic Colloqium 2016
sattlerc/lc2016-builder
Static Website Generator for Logic Colloqium 2016
sattlerc/misc-agda
sattlerc/mold
mold: A Modern Linker
sattlerc/mysql-gem
MySQL/Ruby Bindings, wrapped as Gem with improved cross-platform support
sattlerc/nlab
Source code for the nLab
sattlerc/pommed-light
A trimmed version of the pommed hotkey handler for macbooks
sattlerc/python-gitlab
A python wrapper for the GitLab API.
sattlerc/sb680
sattlerc/starter
A starter site for Jekyll + Prose
sattlerc/watchdog
Python library and shell utilities to monitor filesystem events.