tniessen/aiger-safety-properties external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tniessen/aiger-safety-properties

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tniessen/aiger-safety-properties)

Close

tniessen / aiger-safety-propertiesView on GitHubMore

• External links
• Readme badge

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

☆14Nov 29, 2023Updated 2 years ago

Alternatives and similar repositories for aiger-safety-properties

Users that are interested in aiger-safety-properties are comparing it to the libraries listed below

• tniessen / libsodium-doc

  View on GitHub
  Gitbook documentation for libsodium
  ☆17Nov 21, 2023Updated 2 years ago
• tniessen / nodejs.org

  View on GitHub
  The Node.js website.
  ☆18Feb 15, 2024Updated 2 years ago
• tniessen / pino

  View on GitHub
  🌲 super fast, all natural json logger 🌲
  ☆21Mar 1, 2023Updated 3 years ago
• tniessen / node

  View on GitHub
  Node.js JavaScript runtime
  ☆22Jan 18, 2026Updated 2 months ago
• tniessen / content

  View on GitHub
  The content behind MDN Web Docs
  ☆21Feb 10, 2023Updated 3 years ago
• tniessen / awesome-wasm-langs

  View on GitHub
  😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
  ☆20Oct 16, 2022Updated 3 years ago
• tniessen / node-pqclean

  View on GitHub
  PQClean for Node.js, Deno, and browsers 🔏🔑 Node.js native addon and WebAssembly implementation
  ☆80Dec 10, 2025Updated 3 months ago
• mildsunrise / cursed_gpu_linux

  View on GitHub
  ⚙️ shitty desktop RISC-V linux emulator
  ☆76Mar 22, 2025Updated 11 months ago
• tniessen / fluent-bit

  View on GitHub
  Fast and Lightweight Logs and Metrics processor for Linux, BSD, OSX and Windows
  ☆19Oct 19, 2022Updated 3 years ago
• dsprenkels / randombytes

  View on GitHub
  A portable C library for generating cypto-secure random bytes
  ☆99Jul 28, 2022Updated 3 years ago
• GlowMany / Modul3.2

  View on GitHub
  ☆42Dec 11, 2021Updated 4 years ago
• tniessen / llhttp

  View on GitHub
  Port of http_parser to llparse
  ☆16Oct 1, 2022Updated 3 years ago
• GlowMany / Haqq-Network

  View on GitHub
  Islamic Coin
  ☆75Aug 24, 2022Updated 3 years ago
• GlowMany / testnet_manuals

  View on GitHub
  ☆77Aug 26, 2022Updated 3 years ago
• GlowMany / quicksilver-mainnet

  View on GitHub
  Quicksilver Mainnet Repository
  ☆79Sep 3, 2022Updated 3 years ago
• GlowMany / 1

  View on GitHub
  ☆53Apr 11, 2022Updated 3 years ago
• GlowMany / 4-module

  View on GitHub
  ☆52Jan 11, 2022Updated 4 years ago
• GlowMany / modul3.3

  View on GitHub
  ☆54Dec 11, 2021Updated 4 years ago
• GlowMany / validators-contest

  View on GitHub
  ☆55Sep 2, 2022Updated 3 years ago
• GlowMany / interchain-queries

  View on GitHub
  ☆66Aug 29, 2022Updated 3 years ago
• NodesBlocks / stateset-blockchain

  View on GitHub
  GO Implementation of Stateset
  ☆58Nov 15, 2021Updated 4 years ago
• NodesBlocks / rebus.testnet

  View on GitHub
  ☆61Aug 11, 2022Updated 3 years ago
• tniessen / littlefs-disk-img-viewer

  View on GitHub
  Memory-efficient web application for viewing littlefs disk images in a web browser.
  ☆56Dec 9, 2025Updated 3 months ago
• NodesBlocks / validators-contest

  View on GitHub
  ☆64Sep 2, 2022Updated 3 years ago
• GlowMany / C.shLearn

  View on GitHub
  Repository of notes on the lessons I've taken
  ☆64Aug 29, 2022Updated 3 years ago
• NodesBlocks / testnets

  View on GitHub
  Aura testnets
  ☆66Jul 9, 2022Updated 3 years ago
• NodesBlocks / icq-stride

  View on GitHub
  Forked interchain-queries repo for task #9 Interchain queries using the new v2 go relayer
  ☆63Aug 11, 2022Updated 3 years ago
• NodesBlocks / inery

  View on GitHub
  Inery blockchain core
  ☆62Apr 29, 2022Updated 3 years ago
• NodesBlocks / Haqq-Testnets-Sync

  View on GitHub
  This repo contains genesis files for the Haqq Testnets.
  ☆69Aug 11, 2022Updated 3 years ago
• NodesBlocks / go_v2_relayer

  View on GitHub
  An IBC relayer for ibc-go
  ☆65Aug 31, 2022Updated 3 years ago
• NodesBlocks / testnet_manuals

  View on GitHub
  IBC relayer between two cosmos chains using Hermes
  ☆67Jul 21, 2022Updated 3 years ago
• NodesBlocks / teritori-chain

  View on GitHub
  Teritori chain repository based on Cosmos SDK
  ☆68Aug 9, 2022Updated 3 years ago
• lijwen2748 / simplecar

  View on GitHub
  ☆16Nov 9, 2022Updated 3 years ago
• NodesBlocks / quicksilver-mainnet

  View on GitHub
  Quicksilver Mainnet Repository
  ☆74Sep 3, 2022Updated 3 years ago
• GlowMany / modul3.1

  View on GitHub
  ☆51Dec 11, 2021Updated 4 years ago
• GlowMany / helloworld

  View on GitHub
  ☆52Nov 22, 2021Updated 4 years ago
• GlowMany / gest

  View on GitHub
  ☆50Nov 21, 2021Updated 4 years ago
• GlowMany / Balances

  View on GitHub
  ☆54Nov 22, 2021Updated 4 years ago
• Artefact2 / alsaimpulse

  View on GitHub
  An ALSA plugin to apply arbitrary convolution filters to PCM streams.
  ☆12Sep 16, 2021Updated 4 years ago