nim-lang / sat
A SAT solver written in Nim
☆13Updated last year
Alternatives and similar repositories for sat
Users that are interested in sat are comparing it to the libraries listed below
Sorting:
- ☆11Updated 2 years ago
- Gura Configuration Language for Nim☆18Updated 9 months ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 3 years ago
- Library for guaranteed zero heap allocation strings☆25Updated last year
- That game of falling blocky thingies for your terminal written in Nim.☆22Updated 3 years ago
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- JSON in Nim with Go-like field tags.☆16Updated 6 months ago
- Special mathematical functions in Nim☆11Updated 2 years ago
- Strided indexing and slicing for Nim☆12Updated 2 years ago
- n*glTF | Pure Nim glTF™ Reader☆9Updated last year
- Observable pattern in nim☆23Updated last year
- Formatics - Metamath verifier written in Nim.☆20Updated 3 years ago
- Nim macros that might help writing simpler and safer code.☆16Updated 6 months ago
- CRC library for Nim. You're gonna carry that weight.☆12Updated 2 years ago
- 🧻 Unroll for-loops at compile-time.☆12Updated 3 years ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated 8 months ago
- A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.☆17Updated last year
- Unix process&system query&format lib&multi-command CLI in Nim☆21Updated this week
- A library to handle measurement uncertainties & error propagation☆21Updated 7 months ago
- A package to mock procedures and functions without turning it all into OOP.☆14Updated 2 years ago
- HTTP Cookies for Nim.☆9Updated 4 months ago
- Automatic Nim document generator.☆23Updated last year
- A new approach to dealing with exceptions☆17Updated 11 months ago
- Script, capture and replay terminal sessions☆15Updated last year
- typesafe-ish macro library☆33Updated last year
- A library of string validators and sanitizers.☆12Updated last year
- A graphing application built with owlkettle☆29Updated 4 months ago
- Nim lang smart pointers☆19Updated 4 years ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆12Updated last year
- My dumpster repo for every Nim program I have written.☆17Updated 3 weeks ago