nim-lang / satLinks
A SAT solver written in Nim
☆13Updated 2 weeks ago
Alternatives and similar repositories for sat
Users that are interested in sat are comparing it to the libraries listed below
Sorting:
- Gura Configuration Language for Nim☆18Updated last year
- Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm☆13Updated 4 years ago
- Everything to do with HTML and XML.☆31Updated last year
- Library for guaranteed zero heap allocation strings☆27Updated last year
- Special mathematical functions in Nim☆11Updated 3 years ago
- Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.☆17Updated 3 years ago
- typesafe-ish macro library☆33Updated 4 months ago
- A library to handle measurement uncertainties & error propagation☆24Updated last year
- A CSS level 3 parser written in pure Nim☆17Updated 8 months ago
- That game of falling blocky thingies for your terminal written in Nim.☆22Updated 3 years ago
- A new approach to dealing with exceptions☆19Updated last year
- Nim binding for ImPlot / CImPlot with ImGui / CImGui☆21Updated last month
- ☆12Updated 2 years ago
- A package to mock procedures and functions without turning it all into OOP.☆14Updated 2 years ago
- A library of string validators and sanitizers.☆12Updated 5 months ago
- An plugin for the prologue web-framework of the nim-language. Provides an admin interface☆27Updated 2 years ago
- Nim macros that might help writing simpler and safer code.☆16Updated last year
- Automatic Nim document generator.☆23Updated 2 years ago
- Collection of nim shell utilities and libraries.☆32Updated 2 years ago
- A graphing application built with owlkettle☆29Updated 11 months ago
- ☆27Updated 3 years ago
- A simple library with a simple interface to do password hashing with different algorithms☆14Updated 2 weeks ago
- buju (布局) is a simple layout engine, it is a Nim port of layout.h.☆12Updated 3 weeks ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆13Updated 2 years ago
- A dead simple, no-nonsense parser combinator library written in pure Nim.☆32Updated 3 years ago
- Observable pattern in nim☆24Updated last year
- JSON in Nim with Go-like field tags.☆21Updated last year
- Nim lang smart pointers☆20Updated 4 years ago
- Formatics - Metamath verifier written in Nim.☆20Updated 3 years ago
- Strided indexing and slicing for Nim☆12Updated 3 years ago