Alternatives and similar repositories for Synthesis

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

• juancarlospaco / nim-contra
  Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
  ☆54Updated 3 years ago
• Udiknedormin / NimContracts
  Nim Language design by contract (DbC) library.
  ☆77Updated last year
• status-im / nim-stint
  Stack-based arbitrary-precision integers - Fast and portable with natural syntax for resource-restricted devices.
  ☆88Updated 5 months ago
• alehander92 / breeze
  a macro dsl for nim
  ☆47Updated 5 years ago
• xomachine / NESM
  NESM stands for Nim's Easy Serialization Macro. The macro that allowing generation of serialization functions by one line of code! (It is…
  ☆45Updated 2 years ago
• olliNiinivaara / GuildenStern
  Modular multithreading HTTP/1.1 + WebSocket server framework
  ☆96Updated 10 months ago
• nim-works / loony
  A high throughput MPMC lock-free queue based on a paper by Giersch, Nolte et al implemented in pure Nim.
  ☆71Updated last year
• andreaferretti / memo
  Memoization for Nim
  ☆81Updated 3 years ago
• sinkingsugar / fragments
  Collection of pure Nim utilities
  ☆59Updated 6 years ago
• alehander92 / gara
  ☆104Updated 5 years ago
• LemonBoy / criterion.nim
  Statistic-driven micro-benchmark framework
  ☆34Updated 6 years ago
• bluenote10 / NimSvg
  Nim-based DSL allowing to generate SVG files and GIF animations.
  ☆147Updated 3 years ago
• yglukhov / wasmrt
  ☆100Updated last week
• krux02 / ast-pattern-matching
  A library to do pattern matching on the AST in the Nim programming language.
  ☆104Updated 2 years ago
• n0bra1n3r / cinterop
  A C/C++ interop library for the Nim programming language
  ☆77Updated 2 years ago
• yglukhov / kiwi
  Constraint solving library
  ☆52Updated 4 months ago
• mratsim / loop-fusion
  Loop efficiently over a variadic number of containers
  ☆40Updated 2 years ago
• guzba / nimsimd
  Pleasant Nim bindings for SIMD instruction sets.
  ☆87Updated last year
• disruptek / nimph
  Nim package hierarchy manager from the future 🧚
  ☆160Updated last year
• sinkingsugar / nimline
  Wrapper-less C/C++ interop for Nim
  ☆98Updated 5 years ago
• status-im / nim-serialization
  A modern and extensible serialization framework for Nim
  ☆73Updated last month
• status-im / nim-faststreams
  Nearly zero-overhead input/output streams for Nim
  ☆130Updated last month
• snej / nimdbx
  Fast persistent key-value store for Nim, based on libmdbx
  ☆84Updated 2 years ago
• status-im / nim-taskpools
  Lightweight, energy-efficient, easily auditable threadpool
  ☆114Updated 2 weeks ago
• juancarlospaco / nim-new-backend
  Template to create a new Backend for Nim, based on the JavaScript Backend, as minimalistic as possible to focus on codegen
  ☆44Updated 5 years ago
• yglukhov / iface
  ☆76Updated 3 years ago
• yglukhov / jsbind
  ☆55Updated 2 years ago
• zevv / nimz3
  Nim binding for the Z3 theorem prover
  ☆26Updated 2 years ago
• PMunch / binaryparse
  Binary parser for Nim
  ☆73Updated 4 years ago
• PMunch / nim-persistent-vector
  Implementation of Clojures persistent vector in Nim for easy immutable lists.
  ☆26Updated 6 years ago