39 skills found · Page 1 of 2
leanprover-community / Mathlib3Lean 3's obsolete mathematical components library: please use mathlib4
bohops / WSMan WinRMA collection of proof-of-concept source code and scripts for executing remote commands over WinRM using the WSMan.Automation COM object
lukaszcz / CoqhammerCoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
microsoft / Intune My Macsintune-my-macs is an automation project designed to quickly and simply configure your Microsoft Intune environment for macOS device management. It includes scripts, profiles, and setup guidance to help you build a working proof of concept or jump-start your production deployment with best practices.
awslabs / AutoCorrodeVerification infrastructure for the Isabelle/HOL interactive proof assistant
TOTBWF / Refinery⛏️ A refinement proof framework for haskell
uwplse / PUMPKIN PATCHProof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
TecR0c / DoubleTroubleThis repository offers insights and a proof-of-concept tool to exploit two significant deserialization vulnerabilities in Inductive Automation's Ignition software.
wenkokke / AutoInAgdaProof automation – for Agda, in Agda.
krvarma / RPiVoiceRaspberry Pi 2 and Windows 10 IoT Core Speech Recognition Demo. Uses some simple SRGS Grammar to create a Proof of Concept Home Automation of Lights.
proof-tree-builder / Proof Tree Builder.github.ioA web-based graphical proof assistant for LK and Hoare logic.
math-comp / Algebra TacticsRing, field, lra, nra, and psatz tactics for Mathematical Components
DemonMartin / Node CamoufoxA proof-of-concept implementation showing how to use the Camoufox automation framework with Node.js. This repository serves as an example of integrating Camoufox's Python-based automation capabilities into Node.js applications.
math-comp / MczifyMicromega tactics for Mathematical Components
cole-k / Cc LemmaRefreshing automation for inductive equational proofs using e-graphs
mcampo / ChezmoiHome automation proof of concept built around Node.js, RaspberryPi, Arduino and Bluetooth.
browserless / Hybrid PuppeteerA proof-of-concept of hybrid automation running the browser!
rocq-trakt / TraktA generic goal preprocessing tool for proof automation tactics in Coq
tchajed / Coq TacticalLibrary of Coq proof automation
krvarma / Sonoff MqttA simple proof of concept home automation using Sonoff WiFi Switch, MQTT and Google Assistant platform.
