Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: mathematical-notation

pouyakary/Nota 📦

A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering

Language: Haskell - Size: 203 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 54 - Forks: 1

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.

Language: Go - Size: 31.3 KB - Last synced at: 2 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

kammitama5/OnProgrammingforCorrectness

LaTeX and matlab files for this course

Language: TeX - Size: 109 KB - Last synced at: 7 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

Related Keywords
mathematical-notation 3 kary-comments 2 kary-framework 2 terminal 2 proof 1 matlab 1 latex 1 hoare-logic 1 ui-components 1 ui 1 strings 1 string-manipulation 1 string-formatter 1 notation 1 karyfoundation 1 golang 1 go 1 text-user-interface 1 repl 1 notation-rendering 1 mathematic-notebook 1 command-line-interface 1 cli 1 calculator 1