nim-lang / sat
A SAT solver written in Nim
☆14Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for sat
- Gura Configuration Language for Nim☆18Updated 3 months ago
- ☆12Updated last year
- Library for guaranteed zero heap allocation strings☆23Updated 5 months ago
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 2 years ago
- A CSS level 3 parser written in pure Nim☆16Updated last week
- A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.☆16Updated 10 months ago
- buju (布局) is a simple layout engine, based on layout.h☆10Updated this week
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 2 years ago
- That game of falling blocky thingies for your terminal written in Nim.☆23Updated 2 years ago
- A package to mock procedures and functions without turning it all into OOP.☆14Updated last year
- Formatics - Metamath verifier written in Nim.☆20Updated 2 years ago
- JSON in Nim with Go-like field tags.☆14Updated last month
- A library to handle measurement uncertainties & error propagation☆21Updated 3 weeks ago
- Observable pattern in nim☆23Updated 6 months ago
- typesafe-ish macro library☆31Updated 7 months ago
- 🎶🐳 paramidi with nimib☆13Updated last year
- Script, capture and replay terminal sessions☆16Updated 11 months ago
- A simple way to generate mapping functions at compile-time without having to write them yourself.☆16Updated 4 months ago
- A library of string validators and sanitizers.☆12Updated 6 months ago
- A working-in-porgress compiler guide for the Nim language.☆26Updated 2 months ago
- Tiny file dialogs bindings for Nim☆19Updated 11 months ago
- A new approach to dealing with exceptions☆18Updated 5 months ago
- Localize your Nim apps at compile-time☆12Updated 8 months ago
- Strided indexing and slicing for Nim☆13Updated last year
- Nim binding for ImPlot / CImPlot with ImGui / CImGui☆22Updated last month
- A graphing application built with owlkettle☆30Updated 7 months ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆13Updated 11 months ago
- Unix process&system query&format lib&multi-command CLI in Nim☆21Updated 3 weeks ago
- crossplattform terminal music player. Inspired by moc and mpd.☆11Updated 3 years ago
- A powerful, lightweight tool to execute code later☆14Updated 2 years ago