The Mathematics and Informatics Institute of Ohio (miiohio) is a nonprofit 501c3 that was founded in 2020. Its mission is to enrich the citzenry of the State of Ohio via education and public domain contributions to advanced mathematics, computer science, informatics, information theory, data science, and other analytical disciplines.
See the miiohio GitHub organization for some historical examples of the institute's work, including:
- ZIO-py: An open source Python analogue of the ZIO functional programming Scala library featuring a novel mechanism for ergonomically interacting with monadic computations while preserving type safety.
- Succinct: Succinct, compact, and compressed data structures for data-intensive applications.
- Framulent: Statically typed, high performance, pure DuckDB SQL dataframe computing for scientific computing in Python.
In the near future, miiohio plans to focus on a long but promising journey of reformulating the foundations of the modern computing industry through denotational design and liberating programming from the von Neumann style.