moritayasuaki

escvp

ESC/VP 21 Virtual COM

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-mode-vscode

agda-mode on VS Code

agda-stdlib

The Agda standard library

bidirectional-flow

bidirectionalflow

dotfiles

dotfiles-1

Personal configuration files (dot files)

emacs

Mirror of GNU Emacs

ganttchart_generator

grin

Minimal implementation of the MimbleWimble protocol.

isjap

lean

Lean Theorem Prover

LeanTeX

Lean 4 library for pretty printing expressions as LaTeX

lego

Let's Encrypt client and ACME library written in Go

life-in-iceland-for-japanese

listable-finite

monotoneframeworks-agda

Implementation of monotone frameworks in Agda

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.

nielsen-nielsen-agda

semantics with applications

pdfless

terminal pdf pager

pretopology

tapl-no-benkyo

tapl bunko kai you

Velthyding

Web front end for Miðeind's machine translation engine

wasm-agda

wasm-agda2

wasm-semantics

wasm-types

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift