mdmara

mdmara's Stars

• stepchowfun/theorem-prover

  An automated theorem prover for first-order logic.

  Language:Python23331

• jgm/texmath

  A Haskell library for converting LaTeX math to MathML.

  Language:Haskell32268

• SavinaRoja/PyUserInput

  A module for cross-platform control of the mouse and keyboard in python that is simple to install and use.

  Language:Python1.1k244

• stsievert/swix

  Swift Matrix Library

  Language:C++59354

• vlall/Swift-Brain

  Artificial intelligence/machine learning data structures and Swift algorithms for future iOS development. bayes theorem, neural networks, and more AI.

  Language:Swift33550

• kivutar/tethical

  A tactical RPG engine with online gaming support.

  Language:Python9235