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

Continuous Delivery for automating package releases (npm, cookbooks, gems, pip, jars, etc)

Deep learning for the automated spectral classification of supernovae

Serverless PyPI backed by S3

A modern arpwatch replacement with JSON formatted outputs and easy options to exec commands when network changes are observed.

The All ▲lgorithms Python Library.

🔐 Easy to use, fast, lightweight, secure, JSON based database for Python!

Management command for creating compressed archives of Django projects, including database tables and uploaded media.

🐾 Library & CLI to monitor and control the Pet Door & Cat Flap Connect 🚪 the Pet Feeder Connect 🍽 and the Felaqua 💦 sold by Sure Petcare

A Modern Efficient and Easy way of interacting with the Hypixel API!

Pure python Aho-Corasick library.

Light-weight utilities and declarative schema (mutable mapping) to augment, not replace the Python MongoDB driver.

Retrieve years of imgur.com's data without any authentication.

✨ Browse trending GitHub projects from your command line

Page Lock for Django Admin allows developers to implement customizable locking pages.

A cookiecutter template for Python package with heavy use of Github actions

Packaged, Pytorch-based, easy to use, cross-platform version of the CRAFT text detector

Symbolic execution tool

Finding bugs in P4 compilers using translation validation.

A compiler for automatically re-targeting sequential Java code to Apache Spark.

a GRId LOgic Puzzle Solver library

APALACHE: symbolic model checker for TLA+

DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Jupyter kernel for TLA⁺

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

IMITATOR

model-describer : Making machine learning interpretable to humans

Local Interpretable Model-Agnostic Explanations (R port of original Python package)

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Concuerror is a stateless model checking tool for Erlang programs.

SeaHorn Verification Framework

The P programming language.

Static checker for Java

Verification framework and tool for higher-order Scala programs

ACL2 System and Books as Maintained by the Community

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

HACL*, a formally verified cryptographic library written in F*

High-assurance implementation of the Ouroboros protocol family

A Coq-based synthesis of Scala programs which are correct-by-construction

Lean mathematical components library

Meaningful control of data in distributed systems.

the champagne of beta embedded databases

A gently curated list of companies using verification formal methods in industry

Z-EVES for linux. Probably the only place you can find it

Various recipes for testing common scenarios with Cypress

Awesome ASIC design verification