zevv / nimz3Links
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
Sorting:
- Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.☆54Updated 3 years ago
- Useful Variant Type and Powerful Pattern Matching for Nim☆28Updated 5 years ago
- a macro dsl for nim☆47Updated 4 years ago
- Cross platform IO engine and timer for Nim.☆24Updated 9 months ago
- Statistic-driven micro-benchmark framework☆34Updated 6 years ago
- An Adaptive Index Library for Nim☆40Updated last week
- Loop efficiently over a variadic number of containers☆40Updated 2 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…☆46Updated 2 years ago
- Documentation for Nim Macros☆41Updated 3 years ago
- ☆20Updated 5 years ago
- Library for Nim.☆15Updated 5 years ago
- Greenlet - Coroutines library for nim similar to python's greenlet.☆33Updated 5 years ago
- A low-overhead JIT assembler for Nim☆20Updated 4 years ago
- Simple finite state machine for @nim-lang☆22Updated 3 years ago
- A quickcheck library for Nim☆19Updated 5 years ago
- Define and compose random variables☆45Updated 2 years ago
- ☆13Updated 6 months ago
- Simplify Nim Inter-Thread Communication☆23Updated 4 years ago
- Implementation of Clojures persistent vector in Nim for easy immutable lists.☆26Updated 5 years ago
- Concurrent hash table☆35Updated 2 years ago
- Library containing advanced collection types and miscellaneous utilities involving iteration☆20Updated 6 years ago
- Reinforcement Learning Agents & Algorithms exploration☆19Updated 6 years ago
- [wip]Speech recognition tool-box written by Nim. Based on Arraymancer.☆23Updated 5 years ago
- grim brings property graphs to the Nim language. Look around you: everything is a graph!☆54Updated 4 years ago
- Stack-based arbitrary-precision integers - Fast and portable with natural syntax for resource-restricted devices.☆85Updated last month
- Theo is an optimized bigint and number theory library for Nim☆26Updated 3 years ago
- Nim Bindings for C++ STL stuff☆54Updated 11 months ago
- measuring execution times written by Nim.☆37Updated 2 years ago
- Awaitable threadpool for nim☆52Updated 3 months ago
- A JSON5 implementation for Nim.☆20Updated 5 years ago