Alternatives and similar repositories for logicng-rs:

Users that are interested in logicng-rs are comparing it to the libraries listed below

• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆16Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆140Updated 4 months ago
• Enter-tainer / wavy
  Run wavedrom in typst
  ☆14Updated 2 weeks ago
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago
• EagleoutIce / fancyqr
  Package to create fancy QR-codes in LaTeX.
  ☆46Updated 3 months ago
• ferrous-systems / mdslides
  A tool for turning mdbooks into slide shows
  ☆13Updated last month
• ferrocene / criticalup
  Ferrocene's toolchain manager.
  ☆14Updated this week
• Cskorpion / vmprof-firefox-converter
  Firefox-Profiler as UI for VMProf
  ☆10Updated last week
• jelmer / awesome-merge-drivers
  List of great merge drivers for git and other version control tools
  ☆23Updated 4 months ago
• shyper-org / rtshyper
  An Rust hypervisor for mixed-critical system
  ☆25Updated 3 months ago
• typst / citationberg
  A library for parsing CSL styles.
  ☆41Updated 3 weeks ago
• HyperAST / HyperAST
  Temporal code analyses at scale
  ☆25Updated this week
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆22Updated 3 months ago
• di-unipi-socc / kube-freshener
  Tool that allows you to find and solve architectural smells inside a microservice architecture driven by Kubernetes
  ☆11Updated 2 years ago
• iXORTech / Typstify
  A Typst Editor for iPad
  ☆25Updated 6 months ago
• vectorgrp / xcp-lite
  XCP for Rust
  ☆11Updated last month
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 2 months ago
• jneug / typst-codetastic
  Generate barcodes and 2d codes in Typst documents.
  ☆18Updated 8 months ago
• jomaway / typst-bytefield
  A typst package for creating diagrams of network protocols, memory layouts, register definitions or similar structures.
  ☆78Updated last month
• ossf / Memory-Safety
  ☆23Updated this week
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆21Updated 2 months ago
• MarkusZoppelt / portfolio_rs
  A command line tool for managing financial investment portfolios.
  ☆26Updated last week
• rust-or / highs
  Safe rust bindings to the Highs MILP Solver.
  ☆24Updated last month
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆59Updated this week
• Typsium / typsium
  The main Typsium package. Typeset chemical formulas and reactions.
  ☆13Updated this week
• pta2002 / typst-timeliney
  Create Gantt charts in Typst
  ☆40Updated last month
• Patryk27 / ostfs
  Toy filesystem with support for zero-cost snapshots and clones
  ☆39Updated last year
• rlespinasse / drawio-exporter
  Command Line Client To Enhance Files Export Using Draw.io Application
  ☆20Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆105Updated last year
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆31Updated this week