Forgejo: Beyond coding. We forge.

michael/ cubeviz

TypeScript 0 0

Cube visualizer for cubical type theory

Updated 2024-10-03 01:56:16 +00:00

school/ type-theory

Agda 0 0

Research

Updated 2024-10-03 01:32:05 +00:00

michael/ buckeyectf2024

0 0

Updated 2024-09-28 01:32:49 +00:00

michael/ blog

Markdown 0 0

Personal blog

Updated 2024-09-26 23:15:36 +00:00

michael/ panorama3

0 0

Updated 2024-09-26 17:49:30 +00:00

michael/ linux

C 0 0

Updated 2024-09-25 19:31:10 +00:00

michael/ ciad

TypeScript 0 0

Updated 2024-09-14 06:39:03 +00:00

michael/ remark-agda

TypeScript 0 0

Plugin for processing Literate Agda files with Remark

Updated 2024-09-13 00:58:41 +00:00

michael/ cubical-hott

0 0

Formalization of the HoTT Book using cubical agda

Updated 2024-09-12 05:43:35 +00:00

pl/ agtest

0 0

Attribute grammar

Updated 2024-09-01 13:35:17 +00:00

osu/ tweaks

TypeScript 0 0

Updated 2024-08-27 22:09:57 +00:00

michael/ openstellaris

Rust 0 0

Updated 2024-08-22 17:04:47 +00:00

michael/ gitit-docker

Nix 0 0

Updated 2024-08-22 04:34:22 +00:00

michael/ ttnibbles

0 0

Updated 2024-08-21 21:41:23 +00:00

NintenHero/ PixelJunk-Extractor

C# 0 0

A tool to extract the assets from PixelJunk Shooter.

pixeljunk-shooter

Updated 2024-08-18 15:29:25 +00:00

NintenHero/ Linkrealms-Extractor

C# 0 0

Extracts the resources from Linkrealms idx/pak files.

linkrealms

Updated 2024-08-14 19:47:11 +00:00

michael/ lean2

C++ 0 0

Mirror of https://github.com/leanprover/lean2 in case it ever disappears

Updated 2024-08-09 09:21:44 +00:00

michael/ Spectral

Lean 0 0

Mirror of https://github.com/cmu-phil/Spectral in case it ever disappears

Updated 2024-08-07 03:39:17 +00:00

michael/ unimath2024

Coq 0 0

Updated 2024-08-02 15:35:56 +00:00

michael/ thm

TypeScript 0 0

Updated 2024-08-01 02:50:12 +00:00