Alternatives and similar repositories for sat:

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

• elcritch / ants
  ☆11Updated last year
• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated 8 months ago
• haxscramper / hmisc
  Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.
  ☆17Updated 2 years ago
• elcritch / keyxn
  Pure Nim implementation of Shamir's Secret Sharing (SSS) algorithm
  ☆13Updated 3 years ago
• termermc / nim-stack-strings
  Library for guaranteed zero heap allocation strings
  ☆24Updated 10 months ago
• indiscipline / tetronimia
  That game of falling blocky thingies for your terminal written in Nim.
  ☆22Updated 2 years ago
• SciNim / Measuremancer
  A library to handle measurement uncertainties & error propagation
  ☆21Updated 5 months ago
• demotomohiro / littlesugar
  Nim macros that might help writing simpler and safer code.
  ☆16Updated 5 months ago
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• guzba / sunny
  JSON in Nim with Go-like field tags.
  ☆16Updated 4 months ago
• minamorl / rex
  Observable pattern in nim
  ☆23Updated 10 months ago
• treeform / forematics
  Formatics - Metamath verifier written in Nim.
  ☆20Updated 2 years ago
• openpeeps / valido
  A library of string validators and sanitizers.
  ☆12Updated 11 months ago
• mratsim / weave-io
  A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.
  ☆16Updated last year
• PhilippMDoerner / mockingbird
  A package to mock procedures and functions without turning it all into OOP.
  ☆14Updated 2 years ago
• ringabout / neon
  A working-in-porgress compiler guide for the Nim language.
  ☆26Updated 6 months ago
• PMunch / labeltry
  A new approach to dealing with exceptions
  ☆17Updated 10 months ago
• SciNim / nimfftw3
  Nim bindings for FFTW3.
  ☆17Updated last year
• treeform / guardmons
  Collection of nim shell utilities and libraries.
  ☆32Updated last year
• sqids / sqids-nim
  Official Nim port of Sqids. Generate short unique IDs from numbers.
  ☆12Updated last year
• beef331 / micros
  typesafe-ish macro library
  ☆32Updated last year
• nitely / nim-grpc
  Pure Nim gRPC client and server
  ☆18Updated 3 weeks ago
• henryas / nptr
  Nim lang smart pointers
  ☆19Updated 3 years ago
• haoyu234 / buju
  buju (布局) is a simple layout engine, based on layout.h
  ☆11Updated 2 weeks ago
• c-blake / gralg
  Classical Graph Algos in Nim
  ☆16Updated 4 months ago
• sumatoshi / w8crc
  CRC library for Nim. You're gonna carry that weight.
  ☆12Updated 2 years ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 3 months ago
• can-lehmann / Graphing
  A graphing application built with owlkettle
  ☆30Updated 3 months ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• nitely / nim-hyperx
  Pure Nim http2 client and server 🖖
  ☆33Updated last week