#
Starred repositories
Secure, cross-platform Git credential storage with authentication to GitHub, Azure Repos, and other popular Git hosting services.
Extension for AutoRest (https://github.com/Azure/autorest) that generates C# code
OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python
A convention-based object-object mapper in .NET.
QuickCheck inspired property-based testing for OCaml.
Execute code blocks inside your documentation
Context sensitive completion for OCaml in Vim and Emacs
Automated testing to find logic and performance bugs in database systems
A gently curated list of companies using verification formal methods in industry
Reverse engineered Linux driver for the FacetimeHD (Broadcom 1570) PCIe webcam
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Install the Z3 binary in Github Actions
Haskell bindings to Microsoft's Z3 API (unofficial).
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Definition of the Viper intermediate verification language.
Symbolic-execution-based verifier for the Viper intermediate verification language.
This repo contains allows you to quickly and easily create a Virtual Machine with a working Pebble SDK install using Vagrant and Virtualbox