Azumabashi / nim-propositional-logicLinks
Propositional logic library for Nim.
☆9Updated last year
Alternatives and similar repositories for nim-propositional-logic
Users that are interested in nim-propositional-logic are comparing it to the libraries listed below
Sorting:
- ☆12Updated 2 years ago
- A fast markdown converter, based on CommonMark, written in Nim.☆29Updated 3 years ago
- HTTP Cookies for Nim.☆9Updated 6 months ago
- Strided indexing and slicing for Nim☆12Updated 2 years ago
- A stupid simple YAML Parser. From YAML to stringified JSON, JsonNode or Nim objects. Written in Nim language 👑☆18Updated 10 months ago
- designer TUI nim-lang☆20Updated 3 years ago
- A terminal tetris in Nim.☆24Updated 5 years ago
- Nim library for scraping google search results☆15Updated 3 years ago
- YAML library for Nim☆10Updated 8 months ago
- Pure nim fuzzy search implementation. Supports substrings etc☆29Updated 4 years ago
- FFmpeg nim wrapper☆44Updated last year
- ☆11Updated 4 years ago
- Unit is library of unit types☆24Updated 2 years ago
- nimlint makes developing softer.☆16Updated 4 years ago
- Simple watchdog (watching file change modified, deleted, created) in nim lang☆15Updated last month
- ☆13Updated 5 years ago
- nimsh is a simple implementation of a shell in pure Nim.☆12Updated 5 years ago
- nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .☆13Updated 4 years ago
- Script, capture and replay terminal sessions☆15Updated last year
- Html dsl for nim. Supports templating.☆24Updated 4 years ago
- datetime parse in Nim☆10Updated 5 years ago
- A simple NoSQL database for Nim☆12Updated 2 years ago
- utility macros mostly for object variants☆23Updated 9 months ago
- A command that to read novel on terminal.☆10Updated 5 years ago
- Swift-like unicode string handling☆24Updated 5 years ago
- Sauer is a command-line scaffolder for Karax and Kraut-powered SPA.☆13Updated 9 months ago
- Special mathematical functions in Nim☆11Updated 3 years ago
- 🧻 Unroll for-loops at compile-time.☆12Updated 3 years ago
- ☆10Updated 4 years ago
- A mini DSL to generate LaTeX from Nim☆28Updated 8 months ago