Saizan/miller
Miller/pattern unification in Agda
Repositories
Saizan/ghc-server-hdb
Saizan/ghc-persistent-worker
persistent worker prototype
Saizan/cabal
Official upstream development repository for Cabal and cabal-install
Saizan/hie-bios
Set up a GHC API session for various Haskell Projects
Saizan/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
Saizan/dap
Debug Adaptor Protocol (DAP) implementation
Saizan/cat
Formalizing Category Theory in Agda using Cubical Type Theory
Saizan/openai
Haskell bindings to OpenAI
Saizan/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
Saizan/falsify
Saizan/TaskbarX
Center Windows taskbar icons with a variety of animations and options.
Saizan/hereditary
Hereditary Substitution
Saizan/rakuyomi
A manga reader plugin for KOReader.
Saizan/openapi3
OpenAPI 3.0 data model
Saizan/openai-hs
Unofficial OpenAI Haskell Bindings
Saizan/hottest-talk
Saizan/Saizan.github.io
Saizan/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Saizan/Agda-proofs
Agda code for the proofs I use in my research
Saizan/awesome-plutus
Saizan/parametric-demo
Saizan/cubical-demo
Saizan/inductive_types
Saizan/agda
Agda is a dependently typed programming language / interactive theorem prover.
Saizan/dependent-lenses
Saizan/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Saizan/agda-prelude
Saizan/cubical-1
Saizan/closed-canonicity
Some Agda code with the intent to formalize a proof of canonicity for type theory