treeform / forematics
Formatics - Metamath verifier written in Nim.
☆20Updated 2 years ago
Alternatives and similar repositories for forematics:
Users that are interested in forematics are comparing it to the libraries listed below
- A package manager that delegates to package authors☆19Updated last month
- Distributions is a Nim library for distributions and their functions.☆17Updated 2 years ago
- Automatic Nim document generator.☆23Updated last year
- Symbolic differentiation based on the Nim AST☆17Updated 2 years ago
- A SAT solver written in Nim☆13Updated 10 months ago
- A library to handle measurement uncertainties & error propagation☆21Updated 4 months ago
- typesafe-ish macro library☆32Updated 11 months ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated 5 months ago
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- 🎶🐳 paramidi with nimib☆13Updated last year
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆12Updated last year
- Special mathematical functions in Nim☆11Updated 2 years ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 3 years ago
- utility macros mostly for object variants☆23Updated 4 months ago
- a nim distribution 👑☆21Updated 6 months ago
- A powerful, lightweight tool to execute code later☆14Updated 2 years ago
- A new approach to dealing with exceptions☆17Updated 8 months ago
- Direct to object CSV/TSV/tabulated data parser with hooks.☆22Updated 6 months ago
- Nim bindings for FFTW3.☆17Updated last year
- Strided indexing and slicing for Nim☆12Updated 2 years ago
- Sigils - a slot and signals implementation for the Nim programming language☆24Updated 2 weeks ago
- Collection of nim shell utilities and libraries.☆31Updated last year
- That game of falling blocky thingies for your terminal written in Nim.☆22Updated 2 years ago
- A Calculation caching Nim library☆38Updated last year
- Library for guaranteed zero heap allocation strings☆23Updated 9 months ago
- GNU Scientific Library for nim☆14Updated last month
- LRU cache in pure nim☆14Updated 2 years ago
- Nim binding for ImPlot / CImPlot with ImGui / CImGui☆21Updated 4 months ago
- ☆28Updated 10 months ago
- ☆31Updated 2 months ago