Hexirp

vscode

Visual Studio Code

mastodon

Your self-hosted, globally interconnected microblogging community

cargo

The Rust package manager

MathJax

Beautiful and accessible math in all browsers

misskey

🌎 A completely free and open interplanetary microblogging platform 🚀

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

compiler

Compiler for Elm, a functional language for reliable webapps.

checkout

Action for checking out a repo

Kind

A modern proof language

hyperrogue

A SDL roguelike in a non-euclidean world

yatima-lang-alpha

A programming language for the decentralized web

misskey-hub

Website for Misskey

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

agda-unimath

The agda-unimath library

jlreq

formal-type-theory

Formalising Type Theory in a modular way for translations between type theories

Set-Theory

A formalization of the textbook Elements of Set Theory

ipc_solver

O(N log N)-space IPC solver in OCaml

unboxed

experimenting with unlifted classes via backpack

mc.yohane.su

my minecraft server

hott-ja

HoTT in Japanese

TASmod

Minecraft Tool-Assisted Speedrun (TAS) Tools with input playback

optimul

Multiplication on optimal λ-calculus reducers

linear-haskell

linear haskell playground

laurent

Formal power series and Laurent series, cubically

agda-lvo

large veblen ordinal in agda

OrderOrder

prelude-dot

Dotty prelude

haskell-jp.github.io

haskell-jp official web page

notes