stschaef

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda460 27 243141
cubical-categorical-logic
Extensions to the cubical stdlib category theory for categorical logic/type theory
Language:Agda29 6 505
grammars-and-semantic-actions
Monoidal Toposes of Grammars and Semantic Actions
Language:TeX18 5 121
mplse-reading-group.github.io
Language:Haskell1 1 02
.doom.d
Language:Emacs Lisp0 1 00
.dotfiles
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
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 Lisp0 1 00
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:TeX1 0
stschaef/image_invariance
Language:Jupyter Notebook1 0
stschaef/linear-lambda-SMT
SMT-based Proof Search for Substructural Lambda Calculi
Language:Python1 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