987 Open source projects that are alternatives of or similar to Coqhammer

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Verifying concurrent crash-safe systems

Cosette is an automated SQL solver.

The Language for Smart Legal Contracts

Command-line control panel for Nginx Server to manage WordPress sites running on Nginx, PHP, MySQL, and Let's Encrypt

🏷 Visualize and optionally limit the size of your Pull Requests

A privacy-first, open-source home assistant

A work-in-progress language and compiler for verified low-level programming

immudb - world’s fastest immutable database, built on a zero trust model

自动化测试报告

Control your browser's tabs from the command line

AutoKey, a desktop automation utility for Linux and X11, formerly hosted at OldAutoKey. Updated to run on Python 3.

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

🚀 Jekyll Progressive Web App Generator.

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

A Visual Studio Code extension for Coq [[email protected],@fakusb]

Debug Child Process Tool (auto attach)

Showcase of the Gatling Plugin for SBT

SecureCRT scripts, written in Python, for doing various tasks when connected to Cisco equipment.

The project contains multiple shell scripts for automating the tasks during recon.

Script automatically adds videos to playlists from Youtube channels and/or subscriptions (Youtube Collections alternative).

A library for formalizing Haskell types and functions in Coq

Graphical Python programming for trading and automation

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

A selection of formal proofs in Coq.

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

A Wake on Lan plugin for Homebridge

An Instagram bot developed using the Selenium Framework

TLA+ language support for Visual Studio Code

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Terraform Automation and Orchestration Tool (Open Source)

简化接口测试

HA Lovelace card for control of scheduler entities

Template designer for automation

Import YAML/JSON-formatted configuration files into Keycloak - Configuration as Code for Keycloak.

🚧 Learn the craft of "DevOps" (Developer Operations) to Deploy your App and Monitor it so it stays "Up"!

Adaptive Lighting custom component for Home Assistant

A better way to write your release notes.

Open-source marketplace backend in Node.js, empowering Web platforms with Search API, Automation, Auth, Headless CMS… ⚡ 💻

Cogent Project

Exploitation Framework for ATtiny85 Based HID Attacks

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

Multi-stage command line deploy/mirroring and task runner for Wordpress

Tensor - Comprehensive web-based automation framework and Centralized infrastructure management platform

👨‍💻 🐳 Generate personal daily reports or summary, AUTHORS, CONTRIBUTING, CHANGELOG and so on for GitHub user or repository.

The Open Source Controller

Write better integration tests! Dockertest helps you boot up ephermal docker images for your Go tests with minimal work.

Send bulk messages right from your WhatsApp Android Client or WhatsApp Web

Write Selenium and Appium tests in Python using the Page Object pattern. This Pythonic GUI and API test automation framework will help you get started with QA automation quickly. It comes with many useful integrations like - email, BrowserStack, Slack, TestRail, etc. This repository is developed and maintained by Qxf2 Services (https://qxf2.com).

A general purpose extensible autoscaler for the cloud

⭐️ ALIVE Again! ⭐️ SmartHome - Nothing but smarthome stuff here! Have fun browsing through my home automation setup... ping me on Discord with any questions! 👍

🤖 Automate GitHub Project cards with any webhook event

Automatic Service Enumeration Script

🏠 My Home Assistant configuration. This repo will be archived 🗄️ in the future

Web automation library for simple and easy end to end testing and web browser automation that offers super charged features while keeping it simple to use and master

CVE-2020-0688_EXP Auto trigger payload & encrypt method

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

Create controller-based automations with ease to control your home devices and scenes.

A license list generator of all your dependencies for iOS applications