chklauser/to-uni
Converts ascii representations of (mostly math-oriented) symbols to the corresponding unicode character. Can make math-heavy LaTeX documents or source code more readable.
Public GitHub Catalog
Discovered Oct 3, 2026
chklauser / symexec
Demonstration of state/list monad as an API for symbolic execution
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#28532663GitHub System ID
chklauserOrganization / User
PublicVisibility
ActiveCatalog Status
More from chklauser
chklauser/rust-nvm
A toy byte-code virtual machine written in Rust
chklauser/panda
VFS in C# aka Panda
chklauser/prx
Prexonite, a .NET hosted scripting language with a focus on meta-programming and embedded DSLs