mratsim / number-theoryLinks
Give integers super-powers!
☆20Updated 3 years ago
Alternatives and similar repositories for number-theory
Users that are interested in number-theory are comparing it to the libraries listed below
Sorting:
- Simple finite state machine for @nim-lang☆23Updated 3 years ago
- Nim binding for the Z3 theorem prover☆26Updated 2 years ago
- ☆38Updated 6 years ago
- a macro dsl for nim☆47Updated 5 years ago
- Code coverage library for Nim☆38Updated 4 years ago
- A correctly-rounded arbitrary precision decimal floating point arithmetic library☆31Updated 5 years ago
- Cross platform IO engine and timer for Nim.☆24Updated last year
- Nim coroutine based async "from scratch"☆16Updated 4 years ago
- Plugin system for Nim☆31Updated 5 years ago
- Theo is an optimized bigint and number theory library for Nim☆27Updated 3 years ago
- Library for Nim.☆15Updated 5 years ago
- Statistic-driven micro-benchmark framework☆34Updated 6 years ago
- Documentation for Nim Macros☆41Updated 3 years ago
- Distributions is a Nim library for distributions and their functions.☆18Updated 3 years ago
- Useful Variant Type and Powerful Pattern Matching for Nim☆28Updated 5 years ago
- The telegram framework written in Nim☆11Updated 5 years ago
- Nim utilities for advanced CPU operations: CPU identification, ISA extension detection, bindings to assorted intrinsics☆27Updated 4 years ago
- ☆13Updated 10 months ago
- A library to handle measurement uncertainties & error propagation☆24Updated last year
- Nim wrapper for libbacktrace☆23Updated last month
- Nim Kdb type-safe bindings☆17Updated 2 years ago
- ☆18Updated 5 years ago
- A low-overhead JIT assembler for Nim☆20Updated 4 years ago
- Schema validation of JSON for Nim☆46Updated 4 years ago
- Single page documentation sites☆16Updated 4 years ago
- Hash Library for Nim☆39Updated 2 years ago
- A Hobby OS written in NIM.☆12Updated 7 years ago
- a nim distribution 👑☆22Updated 10 months ago
- ☆27Updated 3 years ago
- This module implements a Docker Engine client via Remotet API. This client is asynchronous, so it can be used to provide web service.☆34Updated 9 years ago