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
• kyoheiu / nmark
  A fast markdown converter, based on CommonMark, written in Nim.
  ☆29Updated 3 years ago
• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆18Updated 4 months 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
• zer0-star / nim-curry
  ☆12Updated 4 years ago
• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 4 years ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated last month
• nim-dev / nimlint
  nimlint makes developing softer.
  ☆15Updated 3 years ago
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆29Updated 4 years ago
• zendbit / nim_nwatchdog
  Simple watchdog (watching file change modified, deleted, created) in nim lang
  ☆12Updated 5 months ago
• disruptek / github
  github api v3 for nim
  ☆14Updated last year
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 2 years ago
• jiro4989 / nimsh
  nimsh is a simple implementation of a shell in pure Nim.
  ☆12Updated 4 years ago
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• jiro4989 / termnovel
  A command that to read novel on terminal.
  ☆10Updated 5 years ago
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 2 years ago
• crashappsec / cap10
  Script, capture and replay terminal sessions
  ☆15Updated last year
• bichanna / millie.nim
  Convert big numbers to what's pleasant to see (an adorable, little girl, perhaps?)
  ☆13Updated 2 years ago
• tanelso2 / yanyl
  YAML library for Nim
  ☆10Updated 2 months ago
• haxscramper / nimtraits
  Automatic trait implementation for nim types
  ☆12Updated 3 years ago
• bichanna / romanim
  Converts Roman numerals to what you understand without a blink
  ☆12Updated 2 years ago
• mtshiba / replim
  quick REPL of nim
  ☆28Updated 3 years ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• elcritch / ants
  ☆11Updated last year
• Himujjal / asciitextNim
  ☆11Updated 4 years ago
• nitely / nim-strunicode
  Swift-like unicode string handling
  ☆24Updated 4 years ago
• Patitotective / kdl-nim
  KDL Nim implementation.
  ☆17Updated 2 months ago
• schneiderfelipe / unrolled
  🧻 Unroll for-loops at compile-time.
  ☆12Updated 3 years ago
• c-blake / suggest
  An mmap-persistent Wolfe Garbe's SymSpell spell checking algorithm in Nim
  ☆14Updated last week