Alternatives and similar repositories for sat

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

• elcritch / keyxn
  Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm
  ☆13Updated 3 years ago
• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated 10 months ago
• SciNim / Measuremancer
  A library to handle measurement uncertainties & error propagation
  ☆21Updated 7 months ago
• termermc / nim-stack-strings
  Library for guaranteed zero heap allocation strings
  ☆27Updated last year
• guzba / sunny
  JSON in Nim with Go-like field tags.
  ☆17Updated 6 months ago
• treeform / forematics
  Formatics - Metamath verifier written in Nim.
  ☆20Updated 3 years ago
• can-lehmann / Graphing
  A graphing application built with owlkettle
  ☆29Updated 5 months ago
• PhilippMDoerner / mockingbird
  A package to mock procedures and functions without turning it all into OOP.
  ☆14Updated 2 years ago
• planetis-m / dumpster
  My dumpster repo for every Nim program I have written.
  ☆18Updated last month
• 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 last year
• ASVIEST / webidl2nim
  Tool to translate webidl code to Nim.
  ☆9Updated last year
• elcritch / ants
  ☆11Updated 2 years ago
• treeform / guardmons
  Collection of nim shell utilities and libraries.
  ☆32Updated 2 years ago
• heysokam / ngltf
  n*glTF | Pure Nim glTF™ Reader
  ☆9Updated last year
• indiscipline / tetronimia
  That game of falling blocky thingies for your terminal written in Nim.
  ☆22Updated 3 years ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• sumatoshi / w8crc
  CRC library for Nim. You're gonna carry that weight.
  ☆12Updated 2 years ago
• minamorl / rex
  Observable pattern in nim
  ☆23Updated last year
• treeform / nimdocs
  Automatic Nim document generator.
  ☆23Updated last year
• sqids / sqids-nim
  Official Nim port of Sqids. Generate short unique IDs from numbers.
  ☆12Updated last year
• ringabout / neon
  A working-in-porgress compiler guide for the Nim language.
  ☆26Updated 9 months ago
• ferus-web / stylus
  A CSS level 3 parser written in pure Nim
  ☆18Updated last month
• demotomohiro / littlesugar
  Nim macros that might help writing simpler and safer code.
  ☆16Updated 7 months ago
• mratsim / weave-io
  A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.
  ☆17Updated last year
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 5 months ago
• pietroppeter / paramidib
  🎶🐳 paramidi with nimib
  ☆13Updated 2 years ago
• openpeeps / valido
  A library of string validators and sanitizers.
  ☆12Updated last year
• PMunch / labeltry
  A new approach to dealing with exceptions
  ☆17Updated last year