zevv / nimz3
Nim binding for the Z3 theorem prover
☆25Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for nimz3
- a macro dsl for nim☆48Updated 4 years ago
- ☆13Updated last year
- Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.☆53Updated 2 years ago
- Useful Variant Type and Powerful Pattern Matching for Nim☆27Updated 4 years ago
- Documentation for Nim Macros☆42Updated 2 years ago
- Library for Nim.☆15Updated 4 years ago
- An Adaptive Index Library for Nim☆38Updated last week
- ☆20Updated 4 years ago
- Loop efficiently over a variadic number of containers☆40Updated last year
- A big/arbitrary precision Decimal class in pure Nim☆29Updated 6 years ago
- ☆20Updated 3 years ago
- SortedTables in Nim, based on B-Trees☆17Updated 4 years ago
- Statistic-driven micro-benchmark framework☆34Updated 5 years ago
- Theo is an optimized bigint and number theory library for Nim☆26Updated 2 years ago
- Greenlet - Coroutines library for nim similar to python's greenlet.☆33Updated 4 years ago
- Cross platform IO engine and timer for Nim.☆23Updated 4 years ago
- Generic RTree for Nim☆26Updated 3 years ago
- Interface macro for nim☆20Updated last year
- Additions to the Nim's standard library, like boost for C++☆25Updated 5 years ago
- snip is text editor to speed up testing code snippets☆28Updated last year
- A quickcheck library for Nim☆20Updated 4 years ago
- NESM stands for Nim's Easy Serialization Macro. The macro that allowing generation of serialization functions by one line of code! (It is…☆45Updated last year
- Abstractions for common operating system interfaces☆49Updated 3 weeks ago
- Implementation of Clojures persistent vector in Nim for easy immutable lists.☆25Updated 5 years ago
- Useful synchronization primitives.☆19Updated 2 months ago
- Unix process&system query&format lib&multi-command CLI in Nim☆21Updated this week
- a nim distribution 👑☆21Updated 3 months ago
- Simplify Nim Inter-Thread Communication☆23Updated 3 years ago