|
|
Haskell |
4 |
A package for verifying safety properties of Copilot programs using model-checking |
Jul 09, 2021 |
|
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
|
Haskell |
7 |
Driver for verifying C libraries using the CBMC model-checker. |
Feb 04, 2023 |
|
|
Haskell |
6 |
(DEPRECATED) A library for using model-checking techiques with Copilot programs |
Jan 28, 2023 |
|
|
Haskell |
5 |
(DEPRECATED) Intermediate representation for Copilot. |
Jan 28, 2023 |
|
|
Haskell |
4 |
(DEPRECATED) SBV backend for Copilot. |
Jan 28, 2023 |
|
|
TypeScript |
14 |
[deprecated] Your GitHub Copilot |
May 15, 2022 |
|
|
Haskell |
7 |
(DEPRECATED) A C99-backend for Copilot |
Jan 28, 2023 |
|
|
Go |
26 |
A tool for verifying links in text-based files |
Mar 22, 2022 |
|
|
Haskell |
8 |
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc. |
Jan 28, 2023 |
|
|
Java |
3 |
Eclipse plugin for CBMC |
Aug 25, 2017 |
|
|
Rust |
19 |
CLI tool for deterministically building and verifying executable against on-chain programs or buffer accounts |
Apr 21, 2023 |
|
|
C# |
2 |
A ChatGPT based copilot for OCore |
Jun 03, 2023 |
|
|
Haskell |
15 |
(DEPRECATED) Front-end of Copilot defining the user language. |
Jan 28, 2023 |
|
|
Ruby |
9 |
Tool for verifying backups and comparing directories. |
Apr 18, 2022 |
|
|
Go |
35 |
Quality tool for kafka, verifying kafka ops |
Jun 16, 2022 |
|
|
Rust |
2 |
A tool for verifying prospective Testnet validators |
Jan 22, 2023 |
|
|
OCaml |
25 |
Concurrency property fuzzing tool for Lwt-based OCaml programs |
May 02, 2022 |
|
|
JavaScript |
6 |
Configurable crawler and reporting tool for verifying websites |
Dec 08, 2021 |
|
|
Rust |
30 |
Tool for making/verifying checksums of directory trees |
Sep 02, 2022 |
|
|
TypeScript |
3 |
Alternative to Github Copilot based on OpenAPI |
Sep 22, 2022 |
|
|
Dockerfile |
2 |
Codespace for Copilot |
Apr 06, 2023 |
|
|
None |
3 |
copilot-for-cloud |
Mar 28, 2023 |
|
|
Coq |
14 |
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations |
Apr 15, 2023 |
|
|
JavaScript |
2 |
Test tool for issuing and verifying via Findy agency |
Jan 31, 2023 |
|
|
Haskell |
28 |
A tool for formally verifying Haskell code in Agda |
Sep 02, 2021 |
|
|
TypeScript |
6 |
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for … |
Feb 04, 2023 |
|
|
OCaml |
2 |
hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC |
Nov 28, 2023 |
|
|
Python |
4 |
CLI tool for creating and verifying problem packages for sio2 |
Oct 11, 2023 |
|
|
OCaml |
5 |
A tool for deductive verification of Python programs based on Dafny |
Apr 16, 2022 |
|
|
Go |
7 |
[DEPRECATED] Simple testing programs for go-libp2p-circuit |
Oct 11, 2019 |
|
|
C++ |
3 |
Attempt at verifying C++11 memory model correctness of a small programs. |
May 05, 2019 |
|
|
Python |
2 |
Using formal methods for verifying Q-learning-based systems |
Aug 07, 2022 |
|
|
Python |
15 |
Tool for signing and verifying the integrity of CloudFormation templates |
Feb 20, 2023 |
|
|
Python |
4 |
Documentation for GitHub Copilot |
Dec 06, 2021 |
|
|
Python |
7 |
Documentation for GitHub Copilot |
Jul 14, 2022 |
|
|
None |
21397 |
Documentation for GitHub Copilot |
Aug 12, 2022 |
|
|
None |
5 |
Documentation for GitHub Copilot |
Sep 05, 2022 |
|
|
None |
2 |
Documentation for GitHub Copilot |
Apr 23, 2023 |
|
|
TypeScript |
3 |
Copilot completion for ddc.vim |
Oct 10, 2022 |
|
|
None |
2 |
Documentation for GitHub Copilot |
Jul 08, 2022 |
|
|
Rust |
2 |
Copilot for your terminal |
Mar 24, 2023 |
|
|
Rust |
3 |
Copilot for your terminal |
Apr 28, 2023 |
|
|
Rust |
1471 |
Copilot for your terminal |
Apr 30, 2023 |
|
|
Python |
12 |
Copilot for Jupyter notebooks. |
Apr 26, 2023 |
|
|
Python |
2 |
Installer Tool for Python Programs |
Jun 08, 2023 |
|
|
C++ |
12 |
The HW-CBMC and EBMC Model Checkers for Verilog |
Aug 04, 2022 |
|
|
Coq |
7 |
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert. |
Feb 14, 2022 |
|
|
Java |
15 |
A graph-based refactoring-aware three-way merging tool for Java programs. |
Jun 30, 2022 |
|
|
Scala |
18 |
***deprecated*** A Web-based tool for validating & correcting geo-resolution results |
Jan 28, 2023 |