acmepjz
Follow
-
TryLean4Bundle1 Public
TryLean4 Windows bundle inspired by https://github.com/MohanadAhmed/TryLean4Bundle
-
-
lean-iwasawa Public
Formalization of Iwasawa Theory in LꓱꓯN (tentative)
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedSep 17, 2025 -
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedSep 7, 2025 -
C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.
C MIT License UpdatedJun 11, 2025 -
meandmyshadow Public archive
Fork of the puzzle game Me and My Shadow originally at SourceForge
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedNov 20, 2024 -
BibtexQuery Public
Forked from dupuisf/BibtexQueryA simple command-line bibtex query utility written in Lean 4
Lean Apache License 2.0 UpdatedNov 16, 2024 -
userDefinedLanguages Public
Forked from notepad-plus-plus/userDefinedLanguagesPython UpdatedOct 4, 2024 -
godot-excel-reader Public
Forked from LaoDie1/godot-excel-readerReading excel files
GDScript MIT License UpdatedAug 20, 2023 -
my-lean-test Public
Some failed attempt to teach computer doing mathematics
-
image-process-test Public
Some image process experiment
-
my-stk-windows-nightly-build Public archive
My attempt to build SuperTuxKart Windows nightly build
-
meandmyshadow-addons Public archive
Fork of the addon repository of Me and My Shadow originally at SourceForge
-
-
SDL_ttf Public
Forked from SDL-mirror/SDL_ttfAutomated mirror of https://hg.libsdl.org/SDL_ttf/
C Other UpdatedFeb 26, 2019 -
tinygettext Public
Forked from tinygettext/tinygettextA simple gettext replacement that works directly on .po files
-
djvulibre Public
Fork of DjVuLibre, minidjvu, etc. at SourceForge
-
turning-polyhedron-reloaded Public
yet another clone of rolling block mazes
-
-
-
turningpolyhedron Public
inactive project; a clone and enhancement to popular game Bloxorz
-
wxTest Public
a fake dockable toolbar based on wxWidgets
C++ GNU Lesser General Public License v3.0 UpdatedAug 28, 2016 -
-
-
-
yet-another-fake-basic Public
Yet Another Fake Basic Compiler (inactive project)
-
mytgl Public
inactive project; a simple and fake procedural texture generation tool