14 projects
metamath-logic
Logic definitions for Metamath projects
metamath-prelude
Prelude definitions for Metamath projects
proof-scaffold
A layered, sanity-checked scaffold for building modular Metamath artifacts.
wxbtool
A toolkit for WeatherBench based on PyTorch
chinese-calligraphy
A Pythonic interface for generating Chinese calligraphy works
polyclash
A python 3d spherical Go game on a snub dodecahedron board
quantum-pen
Stories are not written, but discovered.
gassim
None
leibniz
Leibniz: a package providing facilities to express learnable differential equations based on PyTorch
sphaera
sphaera is a math toolkit for spherical data processing
wandering-in-gpt
Wandering in GPT is a role-play game
affordable
Affordable is an abstraction layer to facilitate RL environment developing
gaiabase
The base library for gaia-based projects
lang-detect
a tool to detecting the language for a small piece of unicode text without any dependency to other libraries.
