treeform / forematicsLinks
Formatics - Metamath verifier written in Nim.
☆20Updated 3 years ago
Alternatives and similar repositories for forematics
Users that are interested in forematics are comparing it to the libraries listed below
Sorting:
- ☆27Updated 3 years ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 3 years ago
- A SAT solver written in Nim☆13Updated last week
- A library to handle measurement uncertainties & error propagation☆24Updated last year
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.