Forgejo: Beyond coding. We forge.

michael/ type-theory

Agda 0 0

Research

Updated 2024-12-19 02:47:37 +00:00

michael/ blog

Markdown 0 0

Personal blog

Updated 2024-12-17 22:50:59 +00:00

michael/ eos0

Rust 0 0

OS Experiment #0

Updated 2024-12-16 16:03:53 +00:00

michael/ mzws-docs

MDX 0 0

Updated 2024-12-13 18:02:20 +00:00

michael/ discord-vscode

TypeScript 0 0

Updated 2024-12-10 05:16:18 +00:00

NintenHero/ Divine-Souls-Extractor

C# 0 0

A tool to extract the contents of dfp files from the game Divine Souls.

divine-souls gamebryo gameprix suba-games

Updated 2024-12-08 22:02:29 +00:00

michael/ aoclang2024

Rust 0 0

Updated 2024-12-02 10:38:34 +00:00

michael/ mzautomate

Rust 0 0

Automation software

Updated 2024-11-30 23:52:09 +00:00

michael/ michael.nvim

0 0

Updated 2024-11-27 22:43:49 +00:00

michael/ panorama

Svelte 0 0

Personal life manager

Updated 2024-11-26 05:21:35 +00:00

michael/ plsandbox

TypeScript 0 0

Updated 2024-11-26 03:12:05 +00:00

michael/ hamper

0 0

Updated 2024-11-26 00:14:53 +00:00

michael/ ablebash

Silver 0 0

Updated 2024-11-23 19:52:33 +00:00

michael/ ttlab

TypeScript 0 0

Updated 2024-11-18 18:08:10 +00:00

michael/ tift

Rust 0 0

Updated 2024-11-13 23:49:40 +00:00

michael/ cek-call-cc

Agda 0 0

Updated 2024-11-12 07:49:01 +00:00

michael/ agdaup

Rust 0 0

INSTALL AGDA EVERYWHERE

Updated 2024-11-03 09:00:25 +00:00

michael/ smell

0 0

Language that compiles to various shells, like Amber-lang

Updated 2024-11-03 07:35:50 +00:00

michael/ cubeviz

TypeScript 0 0

Cube visualizer for cubical type theory

Updated 2024-10-21 03:55:08 +00:00

michael/ infra2

0 0

Updated 2024-10-21 00:35:31 +00:00