suzx917's starred repositories
ProjectiveGeometryInAgda
A formalization of Constructive Projective Geometry in Agda
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
IUTypeTheoryCourse.github.io
B629 course content for Spring 2023
nix-doom-emacs
doom-emacs packaged for Nix [maintainers=@thiagokokada]
HoTTEST-Summer-School
HoTTEST Summer School materials
Baby-Set-Theory
Coq集合论中文教程
context-free
Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.
jekyll-theme-persephone
A minimal jekyll theme for building books and blog.
haskell-chess
A chess rule library in Haskell
Typing-Assistant
Typing Assistant provides the ability to autocomplete words and suggests predictions for the next word. This makes typing faster, more intelligent and reduces effort.
haskell-ghc-illustrated
haskell ghc-illustrated
haskell-nix
Nix and Haskell in production
learnhaskell
Learn Haskell
glslEditor
Simple WebGL Fragment Shader Editor