Forgejo: Beyond coding. We forge.

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

michael/ mzforge

TypeScript 0 0

Updated 2024-10-17 23:48:32 +00:00

michael/ exercises

0 0

Updated 2024-10-17 17:45:21 +00:00

michael/ declarative-web-framework

0 0

Updated 2024-10-11 23:57:58 +00:00

michael/ buckeyectf2024

0 0

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

michael/ panorama3

0 0

Updated 2024-09-26 17:49:30 +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