tniessen/aiger-safety-properties

Stars
10
Rank 1,807,489 (Top 36 %)
Language
License
MIT License
Created over 1 year ago
Updated 12 months ago

tniessen/aiger-safety-properties

tniessen

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

node-pqclean

PQClean for Node.js, Deno, and browsers 🔏🔑 Node.js native addon and WebAssembly implementation

memfs-fuse

Simple fuse demo filesystem

littlefs-disk-img-viewer

Memory-efficient web application for viewing littlefs disk images in a web browser.

node-mceliece-nist

Node.js bindings for the reference implementation of the Classic McEliece KEM.

iperf-windows

Visual Studio solution to natively build iperf3 on Windows

btoep

Toolset for reliably assembling files from partial transmissions 🛰️🌎

littlefs-ringbuffer

Circular buffers backed by littlefs files, for resource-constrained devices

node-args.js

Another Node.js argument parser

cryptpad

Text editor for Windows supporting strong encryption

plesk-ext-custom-services

Plesk extension to add custom services to the server administration panel

cubicrypt

Secure datagram transmissions over untrusted channels, designed for CubeSats 📡🔐🛰

node-synchronous-channel

Synchronous message channel for inter-thread communication

constexpr-secded

Header-only implementation of SECDED encoding as C/C++ constant expressions