Alternatives and similar repositories for nim-propositional-logic

Users that are interested in nim-propositional-logic are comparing it to the libraries listed below

• PMunch / autotemplate
  ☆12Updated 2 years ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 5 months ago
• kyoheiu / nmark
  A fast markdown converter, based on CommonMark, written in Nim.
  ☆29Updated 3 years ago
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 2 years ago
• nitely / nim-strunicode
  Swift-like unicode string handling
  ☆24Updated 5 years ago
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 3 years ago
• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 4 years ago
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆29Updated 4 years ago
• zer0-star / nim-curry
  ☆13Updated 4 years ago
• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆18Updated 9 months ago
• bichanna / romanim
  Converts Roman numerals to what you understand without a blink
  ☆12Updated 3 years ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• jiro4989 / nmi
  nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .
  ☆13Updated 4 years ago
• bichanna / millie.nim
  Convert big numbers to what's pleasant to see (an adorable, little girl, perhaps?)
  ☆13Updated 3 years ago
• nim-dev / nimlint
  nimlint makes developing softer.
  ☆15Updated 4 years ago
• bung87 / datetime_parse
  datetime parse in Nim
  ☆10Updated 5 years ago
• jiro4989 / nimsh
  nimsh is a simple implementation of a shell in pure Nim.
  ☆12Updated 5 years ago
• metagn / skinsuit
  utility macros mostly for object variants
  ☆23Updated 8 months ago
• tanelso2 / yanyl
  YAML library for Nim
  ☆10Updated 7 months ago
• schneiderfelipe / unrolled
  🧻 Unroll for-loops at compile-time.
  ☆12Updated 3 years ago
• disruptek / github
  github api v3 for nim
  ☆14Updated 2 years ago
• zendbit / nim_nwatchdog
  Simple watchdog (watching file change modified, deleted, created) in nim lang
  ☆15Updated last month
• schneiderfelipe / quickcheck
  🩺 Effortless property-based, type-based testing for Nim.
  ☆12Updated 3 years ago
• planety / logue
  Command tools for Prologue in Nim.
  ☆8Updated 2 years ago
• c-blake / suggest
  An mmap-persistent Wolfe Garbe's SymSpell spell checking algorithm in Nim
  ☆16Updated 4 months ago
• Himujjal / asciitextNim
  ☆11Updated 4 years ago
• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated 11 months ago
• c-blake / procs
  Unix process&system query&format lib&multi-command CLI in Nim
  ☆21Updated this week
• crashappsec / cap10
  Script, capture and replay terminal sessions
  ☆15Updated last year