Pinned Repositories
BananaSpace
lean-iwasawa
Formalization of Iwasawa Theory in LꓱꓯN (tentative)
md4lean
a Lean wrapper for the MD4C Markdown parser
meandmyshadow
Fork of the puzzle game Me and My Shadow originally at SourceForge
my-stk-windows-nightly-build
My attempt to build SuperTuxKart Windows nightly build
mytgl
inactive project; a simple and fake procedural texture generation tool
puzzleboy
Yet another puzzle boy clone
scantailor
turningpolyhedron
inactive project; a clone and enhancement to popular game Bloxorz
yet-another-fake-basic
Yet Another Fake Basic Compiler (inactive project)
acmepjz's Repositories
acmepjz/meandmyshadow
Fork of the puzzle game Me and My Shadow originally at SourceForge
acmepjz/lean-iwasawa
Formalization of Iwasawa Theory in LꓱꓯN (tentative)
acmepjz/md4lean
a Lean wrapper for the MD4C Markdown parser
acmepjz/turningpolyhedron
inactive project; a clone and enhancement to popular game Bloxorz
acmepjz/mytgl
inactive project; a simple and fake procedural texture generation tool
acmepjz/yet-another-fake-basic
Yet Another Fake Basic Compiler (inactive project)
acmepjz/puzzleboy
Yet another puzzle boy clone
acmepjz/BananaSpace
acmepjz/my-stk-windows-nightly-build
My attempt to build SuperTuxKart Windows nightly build
acmepjz/scantailor
acmepjz/djvulibre
Fork of DjVuLibre, minidjvu, etc. at SourceForge
acmepjz/image-process-test
Some image process experiment
acmepjz/meandmyshadow-addons
Fork of the addon repository of Me and My Shadow originally at SourceForge
acmepjz/my-lean-test
Some failed attempt to teach computer doing mathematics
acmepjz/TryLean4Bundle1
TryLean4 Windows bundle inspired by https://github.com/MohanadAhmed/TryLean4Bundle
acmepjz/turning-polyhedron-reloaded
yet another clone of rolling block mazes
acmepjz/BibtexQuery
A simple command-line bibtex query utility written in Lean 4
acmepjz/doc-gen4
Document Generator for Lean 4
acmepjz/godot
Godot Game Engine
acmepjz/godot-excel-reader
Reading excel files
acmepjz/mygui
Fast, flexible and simple GUI.
acmepjz/SDL_ttf
Automated mirror of https://hg.libsdl.org/SDL_ttf/
acmepjz/tinygettext
A simple gettext replacement that works directly on .po files
acmepjz/userDefinedLanguages
acmepjz/wxHexEditor
wxHexEditor official GIT repo
acmepjz/wxTest
a fake dockable toolbar based on wxWidgets