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
- An Adaptive Index Library for Nim☆38Updated last month
- Useful Variant Type and Powerful Pattern Matching for Nim☆27Updated 4 years ago
- ☆13Updated 3 weeks ago
- Statistic-driven micro-benchmark framework☆34Updated 6 years ago
- Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.☆53Updated 3 years ago
- snip is text editor to speed up testing code snippets☆28Updated 2 years ago
- ☆20Updated 4 years ago
- Cross platform IO engine and timer for Nim.☆23Updated 3 months ago
- Immutable data for Nim☆39Updated 2 years ago
- Simple finite state machine for @nim-lang☆22Updated 2 years ago
- Metaprogramming tools for Nim☆8Updated 6 years ago
- Awaitable threadpool for nim☆48Updated 3 years ago
- Typeclasses for Nim☆29Updated 10 months ago
- Implementation of Clojures persistent vector in Nim for easy immutable lists.☆26Updated 5 years ago
- Abstractions for common operating system interfaces☆50Updated 3 months ago
- Flexible JSON serialization not relying on run-time type information☆50Updated 2 months ago
- a benchmark for compile-time and/or runtime Nim 🏆☆29Updated 4 years ago
- Field validation for nim types☆27Updated 5 years ago
- Utility macros for easier handling of options in Nim☆35Updated 3 years ago
- Schema validation of JSON for Nim☆42Updated 3 years ago
- Loop efficiently over a variadic number of containers☆40Updated last year
- Pure Nim HPACK - Header Compression for HTTP/2☆11Updated 5 months ago
- Nim implementation of GraphQL☆13Updated 6 years ago
- Library containing advanced collection types and miscellaneous utilities involving iteration☆20Updated 6 years ago
- ☆31Updated 7 years ago
- A low-overhead JIT assembler for Nim☆20Updated 4 years ago
- Theo is an optimized bigint and number theory library for Nim☆26Updated 3 years ago
- Documentation for Nim Macros☆41Updated 2 years ago
- A package that makes creating macros easier☆61Updated 3 years ago