zevv / nimz3
Nim binding for the Z3 theorem prover
☆26Updated last year
Alternatives and similar repositories for nimz3:
Users that are interested in nimz3 are comparing it to the libraries listed below
- a macro dsl for nim☆47Updated 4 years ago
- Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.☆53Updated 3 years ago
- Useful Variant Type and Powerful Pattern Matching for Nim☆27Updated 4 years ago
- Statistic-driven micro-benchmark framework☆34Updated 6 years ago
- Cross platform IO engine and timer for Nim.☆23Updated 4 months ago
- ☆13Updated last month
- Greenlet - Coroutines library for nim similar to python's greenlet.☆33Updated 5 years ago
- An Adaptive Index Library for Nim☆38Updated last month
- Utility macros for easier handling of options in Nim☆35Updated 3 years ago
- Loop efficiently over a variadic number of containers☆40Updated last year
- snip is text editor to speed up testing code snippets☆28Updated 2 years ago
- Typeclasses for Nim☆29Updated 11 months ago
- Nim coroutine based async "from scratch"☆16Updated 3 years ago
- Concurrent hash table☆35Updated last year
- Stack-based arbitrary-precision integers - Fast and portable with natural syntax for resource-restricted devices.☆85Updated 3 months ago
- Abstractions for common operating system interfaces☆50Updated 4 months ago
- Awaitable threadpool for nim☆50Updated last week
- Documentation for Nim Macros☆41Updated 2 years ago
- Additions to the Nim's standard library, like boost for C++☆25Updated 6 years ago
- Unix process&system query&format lib&multi-command CLI in Nim☆21Updated this week
- Immutable data for Nim☆40Updated 2 years ago
- Define and compose random variables☆45Updated last year
- Simple finite state machine for @nim-lang☆22Updated 2 years ago
- Metaprogramming tools for Nim☆8Updated 6 years ago
- Simplify Nim Inter-Thread Communication☆23Updated 4 years ago
- ☆20Updated 4 years ago
- Library for Nim.☆15Updated 4 years ago
- a nim distribution 👑☆21Updated last month
- JSON serialization framework for Nim, works from a Stream directly to any type and back. Depends only on stdlib.☆38Updated 5 months ago
- Library containing advanced collection types and miscellaneous utilities involving iteration☆20Updated 6 years ago