Forgejo: Beyond coding. We forge.

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/ 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

michael/ fforge

Rust 0 0

Updated 2024-06-27 16:06:54 +00:00

michael/ dotfiles

Nushell 0 0

Updated 2024-06-19 18:52:44 +00:00

michael/ oplss2024

Typst 0 0

Updated 2024-06-16 04:31:04 +00:00