Pinned Repositories
escvp
ESC/VP 21 Virtual COM
haskell-learning
haskell-learning
moritayasuaki's Repositories
moritayasuaki/escvp
ESC/VP 21 Virtual COM
moritayasuaki/bidirectional-flow
moritayasuaki/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
moritayasuaki/agda
Agda is a dependently typed programming language / interactive theorem prover.
moritayasuaki/agda-mode-vscode
agda-mode on VS Code
moritayasuaki/agda-stdlib
The Agda standard library
moritayasuaki/bidirectionalflow
moritayasuaki/dotfiles
moritayasuaki/dotfiles-1
Personal configuration files (dot files)
moritayasuaki/emacs
Mirror of GNU Emacs
moritayasuaki/formal-spec-TEE
Formal specification of attestation mechanisms in Confidential Computing
moritayasuaki/ganttchart_generator
moritayasuaki/isjap
moritayasuaki/lean
Lean Theorem Prover
moritayasuaki/LeanTeX
Lean 4 library for pretty printing expressions as LaTeX
moritayasuaki/lego
Let's Encrypt client and ACME library written in Go
moritayasuaki/life-in-iceland-for-japanese
moritayasuaki/listable-finite
moritayasuaki/monotoneframeworks-agda
Implementation of monotone frameworks in Agda
moritayasuaki/next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
moritayasuaki/nielsen-nielsen-agda
semantics with applications
moritayasuaki/pdfless
terminal pdf pager
moritayasuaki/pretopology
moritayasuaki/tapl-no-benkyo
tapl bunko kai you
moritayasuaki/Velthyding
Web front end for Miðeind's machine translation engine
moritayasuaki/wasm-agda
moritayasuaki/wasm-agda2
moritayasuaki/wasm-semantics
moritayasuaki/wasm-types
moritayasuaki/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift