Alternatives and similar repositories for nim-propositional-logic:

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

• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆18Updated 7 months ago
• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 4 years ago
• PMunch / autotemplate
  ☆12Updated 2 years ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 4 months ago
• nim-dev / nimlint
  nimlint makes developing softer.
  ☆15Updated 4 years ago
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 2 years ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• nim-lang / checksums
  Hash algorithms in Nim
  ☆12Updated 8 months ago
• mtshiba / replim
  quick REPL of nim
  ☆28Updated 4 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
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• nitely / nim-strunicode
  Swift-like unicode string handling
  ☆24Updated 5 years ago
• kyoheiu / nmark
  A fast markdown converter, based on CommonMark, written in Nim.
  ☆29Updated 3 years ago
• jiro4989 / nimsh
  nimsh is a simple implementation of a shell in pure Nim.
  ☆12Updated 5 years ago
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 3 years ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆29Updated 4 years ago
• crashappsec / cap10
  Script, capture and replay terminal sessions
  ☆15Updated last year
• zer0-star / nim-curry
  ☆12Updated 4 years ago
• SciNim / freccia
  Apache Arrow implementation in Nim
  ☆22Updated 3 years ago
• planetis-m / dumpster
  My dumpster repo for every Nim program I have written.
  ☆17Updated 2 weeks ago
• openpeeps / valido
  A library of string validators and sanitizers.
  ☆12Updated last year
• tanelso2 / yanyl
  YAML library for Nim
  ☆10Updated 5 months ago
• schneiderfelipe / unrolled
  🧻 Unroll for-loops at compile-time.
  ☆12Updated 3 years ago
• Himujjal / asciitextNim
  ☆11Updated 4 years ago
• elcritch / ants
  ☆11Updated 2 years ago
• metagn / skinsuit
  utility macros mostly for object variants
  ☆23Updated 7 months ago
• schneiderfelipe / quickcheck
  🩺 Effortless property-based, type-based testing for Nim.
  ☆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
  ☆14Updated 9 months ago