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:
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithmβ13Updated 3 years ago
- πΆπ³ paramidi with nimibβ14Updated 2 years ago
- Distributions is a Nim library for distributions and their functions.β17Updated 2 years ago
- A library to handle measurement uncertainties & error propagationβ21Updated 8 months ago
- A package manager that delegates to package authorsβ19Updated 4 months ago
- Strided indexing and slicing for Nimβ12Updated 2 years ago
- A working-in-porgress compiler guide for the Nim language.β26Updated 9 months ago
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.β17Updated 2 years ago
- That game of falling blocky thingies for your terminal written in Nim.β22Updated 3 years ago
- Automatic Nim document generator.β23Updated 2 years ago
- A powerful, lightweight tool to execute code laterβ14Updated 3 years ago
- A new approach to dealing with exceptionsβ17Updated last year
- A SAT solver written in Nimβ13Updated last year
- Symbolic differentiation based on the Nim ASTβ17Updated 2 years ago
- Special mathematical functions in Nimβ11Updated 2 years ago
- Classical Graph Algos in Nimβ16Updated 7 months ago
- Nim macros that might help writing simpler and safer code.β16Updated 7 months ago
- A graphing application built with owlkettleβ29Updated 5 months ago
- A Decimal128 IEEE 754 2008 number library for the Nim programming language.β24Updated 4 years ago
- typesafe-ish macro libraryβ33Updated last year
- Official Nim port of Sqids. Generate short unique IDs from numbers.β12Updated last year
- Nim bindings for FFTW3.β18Updated last year
- A Calculation caching Nim libraryβ40Updated 2 years ago
- utility macros mostly for object variantsβ23Updated 8 months ago
- a nim distribution πβ22Updated 3 months ago
- Collection of nim shell utilities and libraries.β32Updated 2 years ago
- Static projectile motion simulation website in Nimβ12Updated 8 months ago
- Library for guaranteed zero heap allocation stringsβ27Updated last year
- Fork of Nim Playground with VM in WebAssemblyβ14Updated last year
- GNU Scientific Library for nimβ14Updated 5 months ago