Projects in Awesome Lists tagged with mathematical-notation
A curated list of projects in awesome lists tagged with mathematical-notation .
https://github.com/pouyakary/go-corelib
Kary Framework is a Cross Platform Textual User Interface Implementation Framework made of components for String Manipulation, Terminal Viewport Management and Terminal UI Widgets.
go golang kary-comments kary-framework karyfoundation mathematical-notation notation string-formatter string-manipulation strings terminal ui ui-components
Last synced: 24 Apr 2026
https://github.com/kammitama5/onprogrammingforcorrectness
LaTeX and matlab files for this course
hoare-logic latex mathematical-notation matlab proof
Last synced: 23 Jun 2026
