treeform / forematics
Formatics - Metamath verifier written in Nim.
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for forematics
- Distributions is a Nim library for distributions and their functions.☆17Updated 2 years ago
- A library to handle measurement uncertainties & error propagation☆21Updated last month
- Nim bindings for FFTW3.☆18Updated last year
- A client-server webframework for nim☆27Updated 2 years ago
- A SAT solver written in Nim☆14Updated 7 months ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆13Updated 11 months ago
- Strided indexing and slicing for Nim☆13Updated last year
- GNU Scientific Library for nim☆13Updated 3 years ago
- typesafe-ish macro library☆33Updated 8 months ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 2 years ago
- A new approach to dealing with exceptions☆18Updated 5 months ago
- Symbolic differentiation based on the Nim AST☆17Updated last year
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- 🎶🐳 paramidi with nimib☆13Updated last year
- ☆28Updated 7 months ago
- A package manager that delegates to package authors☆20Updated last month
- Special mathematical functions in Nim☆11Updated 2 years ago
- Console ascii line graphs in pure Nim☆16Updated 3 years ago
- Automatic Nim document generator.☆23Updated last year
- Library for guaranteed zero heap allocation strings☆23Updated 6 months ago
- Collection of nim shell utilities and libraries.☆30Updated last year
- A Decimal128 IEEE 754 2008 number library for the Nim programming language.☆25Updated 3 years ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated 2 months ago
- Impulse will be a collection of primitives for signal processing (FFT, Convolutions, ...)☆15Updated 5 months ago
- Nim binding for ImPlot / CImPlot with ImGui / CImGui☆22Updated last month
- That game of falling blocky thingies for your terminal written in Nim.☆23Updated 2 years ago
- A package to mock procedures and functions without turning it all into OOP.☆14Updated last year
- ☆12Updated last year
- A Calculation caching Nim library☆38Updated last year