nim-lang / sat
A SAT solver written in Nim
☆13Updated 10 months ago
Alternatives and similar repositories for sat:
Users that are interested in sat are comparing it to the libraries listed below
- ☆11Updated last year
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- Gura Configuration Language for Nim☆18Updated 6 months ago
- Library for guaranteed zero heap allocation strings☆23Updated 8 months ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 3 years ago
- buju (布局) is a simple layout engine, based on layout.h☆11Updated this week
- A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.☆15Updated last year
- A graphing application built with owlkettle☆30Updated last month
- JSON in Nim with Go-like field tags.☆14Updated 2 months ago
- Observable pattern in nim☆22Updated 8 months ago
- A library to handle measurement uncertainties & error propagation☆21Updated 3 months ago
- That game of falling blocky thingies for your terminal written in Nim.☆22Updated 2 years ago
- Collection of nim shell utilities and libraries.☆31Updated last year
- A package to mock procedures and functions without turning it all into OOP.☆14Updated 2 years ago
- typesafe-ish macro library☆32Updated 10 months ago
- n*glTF | Pure Nim glTF™ Reader☆11Updated last year
- Unix process&system query&format lib&multi-command CLI in Nim☆21Updated last week
- A new approach to dealing with exceptions☆17Updated 8 months ago
- A CSS level 3 parser written in pure Nim☆18Updated 2 months ago
- Localize your Nim apps at compile-time☆11Updated 11 months ago
- Direct to object CSV/TSV/tabulated data parser with hooks.☆22Updated 5 months ago
- CRC library for Nim. You're gonna carry that weight.☆12Updated 2 years ago
- Formatics - Metamath verifier written in Nim.☆20Updated 2 years ago
- An plugin for the prologue web-framework of the nim-language. Provides an admin interface☆27Updated last year
- Nim coroutine based async "from scratch"☆16Updated 3 years ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated 4 months ago
- crossplattform terminal music player. Inspired by moc and mpd.☆11Updated 4 years ago
- Automatic Nim document generator.☆23Updated last year
- HTTP Cookies for Nim.☆9Updated 3 weeks ago
- Pure Nim http2 client and server 🖖☆31Updated this week