Beast code in Giters

Christian Sattler's repositories

hott-reading-course

Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

Language:TeX12 20

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION010

BoFunComplexity

Associated code for paper "Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials" by Julia and Patrik Jansson.

Language:MathematicaBSD-3-Clause000

book

A textbook on informal homotopy type theory

Language:TeX010

cpython

The Python programming language

Language:PythonNOASSERTION000

DATX11-30-puzzle-solver

A bachelor thesis project at Chalmers University of Technology

Language:Haskell000

diagrams-lib

Diagrams standard library

Language:HaskellNOASSERTION010

Drawpile

A collaborative drawing program

Language:C++GPL-3.0010

dulwich

Pure-Python Git implementation

Language:PythonNOASSERTION000

HoTT-Agda

Development of homotopy type theory in Agda

Language:Agda010

instiki

a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.

Language:JavaScript000

lc2016

Static website for Logic Colloqium 2016

Language:HTML010

lc2016-builder

Static Website Generator for Logic Colloqium 2016

Language:Haskell010

misc-agda

Language:Agda000

mold

mold: A Modern Linker

Language:C++NOASSERTION000

mysql-gem

MySQL/Ruby Bindings, wrapped as Gem with improved cross-platform support

Language:CNOASSERTION000

nlab

Source code for the nLab

Language:Ruby000

pommed-light

A trimmed version of the pommed hotkey handler for macbooks

Language:CGPL-2.0010

python-gitlab

A python wrapper for the GitLab API.

Language:PythonLGPL-3.0000

sb680

Language:C010

starter

A starter site for Jekyll + Prose

Language:CSSBSD-3-Clause000

watchdog

Python library and shell utilities to monitor filesystem events.

Language:PythonApache-2.0000