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
• elcritch / ants
  ☆12Updated 2 years ago
• beef331 / micros
  typesafe-ish macro library
  ☆33Updated last month
• haxscramper / hmisc
  Collection of miscellaneous helper algorithms and types. Helper functions for strings, exceptions etc.
  ☆17Updated 2 years ago
• treeform / taggy
  Everything to do with HTML and XML.
  ☆31Updated last year
• termermc / nim-stack-strings
  Library for guaranteed zero heap allocation strings
  ☆27Updated last year
• treeform / forematics
  Formatics - Metamath verifier written in Nim.
  ☆20Updated 3 years ago
• treeform / guardmons
  Collection of nim shell utilities and libraries.
  ☆32Updated 2 years ago
• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated last year
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 3 years ago
• indiscipline / tetronimia
  That game of falling blocky thingies for your terminal written in Nim.
  ☆22Updated 3 years ago
• can-lehmann / Graphing
  A graphing application built with owlkettle
  ☆29Updated 8 months ago
• sqids / sqids-nim
  Official Nim port of Sqids. Generate short unique IDs from numbers.
  ☆13Updated last year
• PMunch / labeltry
  A new approach to dealing with exceptions
  ☆18Updated last year
• haoyu234 / buju
  buju (布局) is a simple layout engine, based on layout.h
  ☆12Updated 2 months ago
• kgscialdone / honeycomb
  A dead simple, no-nonsense parser combinator library written in pure Nim.
  ☆32Updated 3 years ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• oliverdelancey / clapfn
  A fast and simple command line argument parser for Nim
  ☆16Updated last year
• demotomohiro / littlesugar
  Nim macros that might help writing simpler and safer code.
  ☆16Updated 10 months ago
• alaviss / nim-sys
  Abstractions for common operating system interfaces
  ☆50Updated last month
• guzba / sunny
  JSON in Nim with Go-like field tags.
  ☆19Updated 10 months ago
• ferus-web / stylus
  A CSS level 3 parser written in pure Nim
  ☆17Updated 5 months ago
• henryas / nptr
  Nim lang smart pointers
  ☆20Updated 4 years ago
• SciNim / Measuremancer
  A library to handle measurement uncertainties & error propagation
  ☆22Updated 11 months ago
• nitely / nim-grpc
  Pure Nim gRPC client and server
  ☆21Updated 6 months ago
• dinau / nim_implot
  Nim binding for ImPlot / CImPlot with ImGui / CImGui
  ☆21Updated last week
• haxscramper / nimtraits
  Automatic trait implementation for nim types
  ☆12Updated 4 years ago
• nitely / nim-hyperx
  Pure Nim http2 client and server 🖖
  ☆36Updated last month
• treeform / nimdocs
  Automatic Nim document generator.
  ☆23Updated 2 years ago
• minamorl / rex
  Observable pattern in nim
  ☆23Updated last year