348 Open source projects that are alternatives of or similar to intrepid

Read-only mirror of the Klever Git repository

Jupyter notebooks for tutorial on the Z3 SMT solver

TLA+ language support for Visual Studio Code

The Git repository for the mCRL2 toolset.

Frama-C and WP tutorial

The Eldarica model checker

Experimental Smart Contracts In Plutus.

The Verifiably Safe Reinforcement Learning Framework

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Software Quality Wiki

Links to tools by subject

Reads a state transition system and performs property checking

A modular sat/smt solver with proof output.

TLA+ language support for Visual Studio Code

www.imandra.ai

CoreIR Symbolic Analyzer

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Python project template/scaffold and best practices

Python wrapper for tracking information about International Space Station via http://open-notify.org

Query network abuse contacts for a given ip address on abuse-contacts.abusix.zone

A SpecFlow bindings library for model-driven Power Apps.

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

A showcase for Sphinx documentation themes

🐍 Twitter Accounts Activity API Client Library for Python

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

A blazingly fast online judge/ autograder ⚖️ built with Python and the Django framework to test cases against your solution. Check out the sponsor links and help fund DomeCode.

Streamlining SLAM-seq analysis with ultra-high sensitivity

No description or website provided.

An index of wheels

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Asynchronous Library made using Python and aiohttp to get proxies from multiple services!

Easy home automation with MQTT and/or openHAB

Normalize text string

Generic token generator and validator service like auth

A command line tool that creates bibtex entries for IETF RFCs and Internet Drafts.

Python package to calculate 2SFCA and other measures of spatial accessibility

Command-line Python scripts to do things with PyPI

An API Wrapper for Vestaboards written in Python

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Crawl sites for RSS, Atom, and JSON feeds.

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Python client for UpCloud's API

An assistant to guess your pip dependencies from your code, without using a requirements file.

PyPI caching mirror

⚛️ RDKit Python Wheels on PyPi. 💻 pip install rdkit-pypi

The Overture Tool

A SOCKS proxy server implemented with the powerful python cooperative concurrency framework asyncio.

Export Amazon DynamoDb to CSV or JSON

Fully verified model checker for realtime systems

Pandoc filter for adding LaTeX environement on specific div

Extensible Python SDK for developing Flyte tasks and workflows. Simple to get started and learn and highly extensible.

A framework for implementing and certifying impure computations in Coq

Interface for easier topic modelling.

Parse/Read yaml or json files directly in your shell (sh, bash, ksh, ...)

cp-tool is an auto generator for solved problems at different online judges.

这个脚本主要提供对pypi供应链的源头进行安全扫描研究，扫描并发现未知的恶意包情况。

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Lightweight, flexible, elegant REST for Java.

Generate setup.py (setuptools) from pyproject.toml (poetry)