macOS and Linux CLI for opening a new terminal tab/window, optionally with a command to execute and/or display settings

🤖 Just a command runner

Dafny is a verification-aware programming language

Run jq interactively in Vim

AWS Encryption SDK for Dafny

A curated list of awesome projects related to eBPF.

A list of projects using the verification-friendly programming language Dafny.

Race Control is a standalone, open source F1TV client for Windows, written in C# on the .NET platform.

FSharp source code formatter

Lean 4 programming language and theorem prover

Renew and Refill Bob Cassettes for 98% Cost Saving!

Automata and transducer library for .NET

Library for symbolic automata and symbolic visibly pushdown automata

DaisyNFS is an NFS server verified using Dafny and Perennial.

Dafny Language Server implementation in C#

Comprehensive language-agnostic guidelines on variables naming. Home of the A/HC/LC pattern.

A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.

A simple kotlin process that will perform cpu benchmarks as well as monitor a hosts processes. The results will be exported as metrics to cloudwatch.

A pure Ruby code highlighter that is compatible with Pygments

Eth2.0 spec in Dafny

Bayesian Markov Chain Monte Carlo Forecast for COVID-19

MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook

Metamath Zero specification language

Libraries useful for Dafny programs

A shell script to coordinate QBF preprocessors

A simple scrambler for SMT-LIB 2.6 scripts.