A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate
Repository Index
47,133 repositories indexed
73–83 of 83 · Most stars
proof script associated to tutorial material
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a raspberry pi and night vision.
- sourdough
- bread
- pizza
- diy
Naive Proof of Concept Crypter for GNU/Linux ELF64
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Human-proof your website
Formal proof in Coq of Puiseux's Theorem.
Proof-of-concept for a dedicated HTML cache processing instance
golem provider runtime with network access via http proxy proof of concept