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
- A library to handle measurement uncertainties & error propagation☆22Updated 10 months ago
- Distributions is a Nim library for distributions and their functions.☆17Updated 3 years ago
- Special mathematical functions in Nim☆11Updated 3 years ago
- A package manager that delegates to package authors☆19Updated 2 weeks ago
- A SAT solver written in Nim☆13Updated 2 weeks ago
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- Nim bindings for FFTW3.☆18Updated last month
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 3 years ago
- GNU Scientific Library for nim☆14Updated 7 months ago
- A Decimal128 IEEE 754 2008 number library for the Nim programming language.☆25Updated 4 years ago
- Automatic Nim document generator.☆23Updated 2 years ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆13Updated last year
- Nim lang smart pointers☆20Updated 4 years ago
- Nim macros that might help writing simpler and safer code.☆16Updated 10 months ago
- A Calculation caching Nim library☆40Updated 2 years ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated last week
- A client-server webframework for nim☆26Updated 3 years ago
- ☆12Updated 2 years ago
- A graphing application built with owlkettle☆29Updated 7 months ago
- Fork of Nim Playground with VM in WebAssembly☆14Updated last year
- That game of falling blocky thingies for your terminal written in Nim.☆22Updated 3 years ago
- utility macros mostly for object variants☆23Updated 10 months ago
- typesafe-ish macro library☆33Updated 3 weeks ago
- A powerful, lightweight tool to execute code later☆14Updated 3 years ago
- Unix process&system query&format lib&multi-command CLI in Nim☆24Updated 2 weeks ago
- ☆30Updated last year
- Classical Graph Algos in Nim☆18Updated 3 weeks ago
- a nim distribution 👑☆22Updated 5 months ago
- Strided indexing and slicing for Nim☆12Updated 2 years ago