mathematical-notation

There are 0 repository under mathematical-notation topic.

• Nota

  pouyakary / Nota

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

  kary-frameworkcalculatorterminalclimathematic-notebookreplmathematical-notationnotation-renderingtext-user-interfacecommand-line-interfacekary-comments
  Language:Haskell 56

• 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.

  karyfoundationkary-frameworkgolanggouiui-componentsmathematical-notationnotationstring-manipulationstring-formatterstringsterminalkary-comments
  Language:Go 2

• kammitama5 / OnProgrammingforCorrectness

  LaTeX and matlab files for this course

  matlablatexhoare-logicmathematical-notationproof
  Language:TeX 1