stschaef

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda452 26 242138
cubical-categorical-logic
Extensions to the cubical stdlib category theory for categorical logic/type theory
Language:Agda24 6 475
grammars-and-semantic-actions
Monoidal Toposes of Grammars and Semantic Actions
Language:TeX16 5 111
mplse-reading-group.github.io
Language:Haskell02
.doom.d
Language:Emacs Lisp00
advent_of_code
Language:Haskell0 1 00
cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
cubical-categorical-logic
Multicategories (someday Polycategories?) in Cubical Agda
Language:Agda0 0 00
ethanisweird
Language:Python0 1 00
LoG_M
Projective Geometry through Python
Language:Python1 1 00

stschaef's Repositories

stschaef/LoG_M
Projective Geometry through Python
Language:Python1 1 00
stschaef/.doom.d
Language:Emacs Lisp00
stschaef/advent_of_code
Language:Haskell0 1 00
stschaef/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
stschaef/cubical-categorical-logic
Multicategories (someday Polycategories?) in Cubical Agda
Language:Agda0 0 00
stschaef/ethanisweird
Language:Python0 1 00
stschaef/final_projet_EECS583
Language:Makefile0 2 00
stschaef/ic3po
IC3PO: IC3 for Proving Protocol Properties
Language:C0 0 00
stschaef/ivy_semantics
Language:OCaml0 1 00
stschaef/LLL
A programmatic animation of the LLL algorithm, made using manim (Python)
Language:Python0 1 00
stschaef/marvl_group_presentation
Language:TeX0 1 00
stschaef/ml_cpp
Machine learning in C++ used on the web!
Language:JavaScript0 1 00
stschaef/nes_game
0 1 00
stschaef/react-gh-pages
Language:HTML0 0 00
stschaef/forest
Language:TeX
stschaef/image_invariance
Language:Jupyter Notebook1 0
stschaef/mplse-reading-group.github.io
Language:Haskell0 0
stschaef/stschaef
Config files for my GitHub profile.
1 0
stschaef/VerticalCAS
Language:Jupyter Notebook0 0
stschaef/z3_experiment
Language:SMT1 0