Azumabashi / nim-propositional-logic

Related projects ⓘ

Alternatives and complementary repositories for nim-propositional-logic

• nim-dev / nimlint
  nimlint makes developing softer.
  ☆15Updated 3 years ago
• jiro4989 / nimtetris
  A terminal tetris in Nim.
  ☆24Updated 4 years ago
• mtshiba / replim
  quick REPL of nim
  ☆27Updated 3 years ago
• openpeeps / nyml
  A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑
  ☆19Updated 2 months ago
• planety / cookiejar
  HTTP Cookies for Nim.
  ☆9Updated last year
• crashappsec / cap10
  Script, capture and replay terminal sessions
  ☆16Updated 11 months ago
• kyoheiu / nmark
  A fast markdown converter, based on CommonMark, written in Nim.
  ☆30Updated 2 years ago
• PMunch / autotemplate
  ☆12Updated last year
• 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
• momeemt / Unit
  Unit is library of unit types
  ☆24Updated 2 years ago
• nitely / nim-strunicode
  Swift-like unicode string handling
  ☆24Updated 4 years ago
• zendbit / nim_nwatchdog
  Simple watchdog (watching file change modified, deleted, created) in nim lang
  ☆12Updated 3 months ago
• pigmej / fuzzy
  Pure nim fuzzy search implementation. Supports substrings etc
  ☆29Updated 3 years ago
• ayman-albaz / special-functions
  Special mathematical functions in Nim
  ☆11Updated 2 years ago
• elcritch / ants
  ☆12Updated last year
• fsh / strides
  Strided indexing and slicing for Nim
  ☆13Updated last year
• xyb / googlesearch.nim
  Nim library for scraping google search results
  ☆15Updated 2 years ago
• jiro4989 / termnovel
  A command that to read novel on terminal.
  ☆10Updated 5 years ago
• jiro4989 / nimsh
  nimsh is a simple implementation of a shell in pure Nim.
  ☆12Updated 4 years ago
• pietroppeter / paramidib
  🎶🐳 paramidi with nimib
  ☆13Updated last year
• c-blake / hldiff
  A port of Python difflib to compute diffs and (re)highlight diff output intraline
  ☆19Updated this week
• zer0-star / nim-curry
  ☆12Updated 4 years ago
• nim-lang / sat
  A SAT solver written in Nim
  ☆14Updated 7 months ago
• enthus1ast / muk
  crossplattform terminal music player. Inspired by moc and mpd.
  ☆11Updated 3 years ago
• PMunch / xevloop
  Library to more easily create X11 event loops
  ☆8Updated 4 years ago
• treeform / nimdocs
  Automatic Nim document generator.
  ☆23Updated last year
• Patitotective / kdl-nim
  KDL Nim implementation.
  ☆17Updated this week
• c-blake / suggest
  An mmap-persistent Wolfe Garbe's SymSpell spell checking algorithm in Nim
  ☆15Updated this week
• khchen / gura
  Gura Configuration Language for Nim
  ☆18Updated 3 months ago
• PhilippMDoerner / Snorlogue
  An plugin for the prologue web-framework of the nim-language. Provides an admin interface
  ☆27Updated last year