Alternatives and similar repositories for sat

Users that are interested in sat are comparing it to the libraries listed below

• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated last year
• haxscramper / hmisc
  Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.
  ☆17Updated 2 years ago
• beef331 / micros
  typesafe-ish macro library
  ☆33Updated 3 weeks ago
• treeform / forematics
  Formatics - Metamath verifier written in Nim.
  ☆20Updated 3 years ago
• termermc / nim-stack-strings
  Library for guaranteed zero heap allocation strings
  ☆27Updated last year
• ferus-web / stylus
  A CSS level 3 parser written in pure Nim
  ☆17Updated 4 months ago
• elcritch / keyxn
  Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm
  ☆13Updated 3 years ago
• treeform / taggy
  Everything to do with HTML and XML.
  ☆31Updated last year
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 3 years ago
• dinau / nim_implot
  Nim binding for ImPlot / CImPlot with ImGui / CImGui
  ☆21Updated 11 months ago
• PMunch / labeltry
  A new approach to dealing with exceptions
  ☆18Updated last year
• nitely / nim-grpc
  Pure Nim gRPC client and server
  ☆21Updated 5 months ago
• c-blake / procs
  Unix process&system query&format lib&multi-command CLI in Nim
  ☆24Updated 2 weeks ago
• indiscipline / tetronimia
  That game of falling blocky thingies for your terminal written in Nim.
  ☆22Updated 3 years ago
• elcritch / ants
  ☆12Updated 2 years ago
• minamorl / rex
  Observable pattern in nim
  ☆23Updated last year
• openpeeps / valido
  A library of string validators and sanitizers.
  ☆12Updated last month
• PhilippMDoerner / mockingbird
  A package to mock procedures and functions without turning it all into OOP.
  ☆14Updated 2 years ago
• demotomohiro / littlesugar
  Nim macros that might help writing simpler and safer code.
  ☆16Updated 10 months ago
• treeform / guardmons
  Collection of nim shell utilities and libraries.
  ☆32Updated 2 years ago
• SciNim / Measuremancer
  A library to handle measurement uncertainties & error propagation
  ☆22Updated 10 months ago
• guzba / sunny
  JSON in Nim with Go-like field tags.
  ☆17Updated 9 months ago
• rockcavera / nim-nint128
  128-bit integers
  ☆35Updated last year
• PhilippMDoerner / nimword
  A simple library with a simple interface to do password hashing with different algorithms
  ☆14Updated this week
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• alaviss / nim-sys
  Abstractions for common operating system interfaces
  ☆50Updated 3 weeks ago
• oliverdelancey / clapfn
  A fast and simple command line argument parser for Nim
  ☆16Updated last year
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• haoyu234 / buju
  buju (布局) is a simple layout engine, based on layout.h
  ☆12Updated last month
• sqids / sqids-nim
  Official Nim port of Sqids. Generate short unique IDs from numbers.
  ☆13Updated last year