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
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 2 months ago
• nim-dev / nimlint
  nimlint makes developing softer.
  ☆15Updated 4 years ago
• nitely / nim-strunicode
  Swift-like unicode string handling
  ☆24Updated 4 years ago
• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 4 years ago
• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆18Updated 5 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
• zer0-star / nim-curry
  ☆12Updated 4 years ago
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 2 years ago
• momeemt / ffmpeg.nim
  FFmpeg nim wrapper
  ☆39Updated 7 months ago
• Himujjal / asciitextNim
  ☆11Updated 4 years ago
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• ringabout / xio
  IO engine for Nim.
  ☆10Updated 7 months ago
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆29Updated 4 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
  ☆13Updated 7 months ago
• jiro4989 / termnovel
  A command that to read novel on terminal.
  ☆10Updated 5 years ago
• nim-lang / checksums
  Hash algorithms in Nim
  ☆12Updated 6 months ago
• haxscramper / nimtraits
  Automatic trait implementation for nim types
  ☆12Updated 3 years ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• schneiderfelipe / unrolled
  🧻 Unroll for-loops at compile-time.
  ☆12Updated 3 years ago
• openpeeps / valido
  A library of string validators and sanitizers.
  ☆12Updated 10 months ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• enthus1ast / muk
  crossplattform terminal music player. Inspired by moc and mpd.
  ☆11Updated 4 years ago
• crashappsec / cap10
  Script, capture and replay terminal sessions
  ☆15Updated last year
• metagn / skinsuit
  utility macros mostly for object variants
  ☆23Updated 4 months ago
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 2 years ago
• elcritch / ants
  ☆11Updated last year