Alternatives and similar repositories for nim-propositional-logic

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

• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 5 years ago
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 3 years ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated 7 months ago
• jiro4989 / nimsh
  nimsh is a simple implementation of a shell in pure Nim.
  ☆12Updated 5 years ago
• momeemt / ffmpeg.nim
  FFmpeg nim wrapper
  ☆44Updated last year
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆28Updated 4 years ago
• fsh / strides
  Strided indexing and slicing for Nim
  ☆12Updated 2 years ago
• kyoheiu / nmark
  A fast markdown converter, based on CommonMark, written in Nim.
  ☆30Updated 3 years ago
• metagn / skinsuit
  utility macros mostly for object variants
  ☆23Updated 10 months ago
• c-blake / suggest
  An mmap-persistent Wolfe Garbe's SymSpell spell checking algorithm in Nim
  ☆16Updated 5 months ago
• oliverdelancey / clapfn
  A fast and simple command line argument parser for Nim
  ☆16Updated last year
• AS400JPLPC / nim_designer
  designer TUI nim-lang
  ☆20Updated 3 years ago
• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆19Updated 10 months ago
• archnim / sunk
  Few async tools for nim (then, catch, finally, and more)
  ☆17Updated 2 years ago
• jiro4989 / termnovel
  A command that to read novel on terminal.
  ☆10Updated 5 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 5 years ago
• Himujjal / asciitextNim
  ☆11Updated 4 years ago
• bung87 / datetime_parse
  datetime parse in Nim
  ☆10Updated 5 years ago
• tanelso2 / yanyl
  YAML library for Nim
  ☆10Updated 8 months ago
• mtshiba / replim
  quick REPL of nim
  ☆28Updated 4 years ago
• nim-dev / nimlint
  nimlint makes developing softer.
  ☆16Updated 4 years ago
• zendbit / nim_nwatchdog
  Simple watchdog (watching file change modified, deleted, created) in nim lang
  ☆15Updated 2 months ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 3 years ago
• itsumura-h / nim-interface-implements
  implements macro creates toInterface proc. It provides polymorphism.
  ☆13Updated last year
• planetis-m / dumpster
  My dumpster repo for every Nim program I have written.
  ☆18Updated last week
• sauerbread / metatag
  A metadata reading & writing library for Nim. Supports id3v2.3.0, flac & possibly more.
  ☆14Updated 3 years ago
• haxscramper / nimtraits
  Automatic trait implementation for nim types
  ☆12Updated 3 years ago
• jjv360 / nim-simpledb
  A simple NoSQL database for Nim
  ☆12Updated 2 years ago
• enthus1ast / muk
  crossplattform terminal music player. Inspired by moc and mpd.
  ☆11Updated 4 years ago