Forgejo: Beyond coding. We forge.

michael/ blog

Markdown 0 0

Personal blog

Updated 2024-09-18 10:21:08 +00:00

school/ type-theory

Agda 0 0

Research

Updated 2024-09-16 00:40:33 +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

michael/ panorama

TypeScript 0 0

Personal life manager

Updated 2024-07-27 22:01:01 +00:00

michael/ anytype-infra

Nix 0 0

Updated 2024-06-30 18:25:50 +00:00

michael/ matter

TypeScript 0 0

Flexible mind map database

Updated 2024-06-28 00:23:43 +00:00

michael/ sqlite-interval-tree

Rust 0 0

Updated 2024-06-27 21:24:53 +00:00