6 projects
runqd
A lightweight, single-node job scheduler written in Rust.
pytail
Incremental PyPI Simple API caching mirror
tex2typst
A Python wrapper for tex2typst, providing seamless conversion between LaTeX/TeX math and Typst format
lemma-lean
A modern Lean4 toolchain manager
neetbox
Logging/Debugging/Tracing/Managing/Facilitating long running python projects, especially a replacement of tensorboard for deep learning projects
pygeomesh
PyGeomesh is a tool for generating discretized points from geometry.
