|
|
Python |
47 |
Dump Android Verified Boot Signature |
Mar 27, 2023 |
|
|
Groff |
2 |
Verified Boot Demo on I2SE Duckbill (MX28) |
Feb 29, 2024 |
|
|
None |
2 |
rpi3 minimal kernel |
Apr 14, 2021 |
|
|
C++ |
2 |
Tools and libraries for working with Android Verified Boot 2.0 |
Dec 20, 2022 |
|
|
Shell |
57 |
a aarch64 system for rpi3 |
Mar 22, 2022 |
|
|
Shell |
3 |
test ble on rpi3 |
Mar 12, 2017 |
|
|
JavaScript |
3 |
A small blinkt server for RPi3 |
May 30, 2017 |
|
|
Shell |
3 |
RPi3+ Network Cracker Setup Tool |
Nov 28, 2022 |
|
|
Python |
3 |
Scanning for bluetooth devices with RPi3 and Python |
Apr 29, 2023 |
|
|
C++ |
7 |
CyberRT (from Apollo) Port on RPI3+ |
Nov 26, 2022 |
|
|
None |
2 |
Buildroot Container for building customized Nerves firmware for rPi3 |
Mar 14, 2020 |
|
|
Python |
73 |
Maintain Android Verified Boot using a custom key while rooted with Magisk |
Apr 21, 2023 |
|
|
Shell |
9 |
create AP with shadowsocks relay use Docker for RPi3 |
Jun 29, 2019 |
|
|
Elixir |
2 |
Phenix custom RPI3 system, embedding OMX + CEC |
Feb 03, 2023 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
Shell |
5 |
verified books |
Apr 10, 2023 |
|
|
None |
42 |
Verified Cheatss |
May 28, 2023 |
|
|
None |
2 |
Binary for sending 433MHz codes with HomeAssistant on the RPi3 reliably. |
Jan 05, 2019 |
|
|
Go |
2 |
verified "standard library" for Goose |
Apr 14, 2022 |
|
|
F# |
218 |
Verified Assembly Language for Everest |
Aug 03, 2022 |
|
|
TypeScript |
2 |
Bundles for Verified Homebridge Plugins |
Jul 27, 2023 |
|
|
Haskell |
8 |
Verified instances for parallel programming. |
Mar 03, 2021 |
|
|
Python |
9 |
Build signed efi binaries which mount a dm-verity verified squashfs image as rootfs on boot. |
May 19, 2023 |
|
|
None |
3 |
3D PRINTABLE - LASER CUT Files - Solidworks Files for a RPI3 A+ case |
Dec 24, 2019 |
|
|
None |
6 |
Verified by Github |
Jun 13, 2022 |
|
|
C |
9 |
User verified types |
Aug 09, 2020 |
|
|
Python |
23 |
Verified Security Tests |
Apr 04, 2023 |
|
|
JavaScript |
2 |
SMS verified faucet |
Jan 02, 2022 |
|
|
None |
2 |
ENS formally verified |
Jan 10, 2022 |
|
|
Go |
2 |
Verified execution - OmniContract |
Jan 28, 2023 |
|
|
TypeScript |
2 |
Verified Partners Registry |
Jan 31, 2023 |
|
|
C |
3 |
Minimal verified webserver |
Oct 15, 2022 |
|
|
Coq |
381 |
Verified Software Toolchain |
Apr 27, 2023 |
|
|
Go |
4 |
Verified mail server |
Apr 22, 2022 |
|
|
Scala |
2 |
Gradually Verified C0 |
Jan 21, 2023 |
|
|
Rust |
4 |
Verified Wasm runtime |
May 17, 2023 |
|
|
Python |
3 |
Fast email verified and phone verified token gen needs proxies |
Mar 15, 2022 |
|
|
Coq |
3 |
Proofs for properties of a gradually verified language based on a statically verified one. |
Mar 29, 2019 |
|
|
Arduino |
2 |
Setting up a basic autonomous quadrotor using RPi3 and Pixhawk |
Jun 23, 2021 |
|
|
Scala |
5 |
Contracts for Ergo with verified properties |
Feb 10, 2022 |
|
|
HTML |
4 |
Githb repo for Verified TPM project |
Mar 08, 2017 |
|
|
PHP |
2 |
Icon for verified acconts and spaces |
Oct 14, 2023 |
|
|
JavaScript |
5 |
Verified Non Fungible Token |
Nov 04, 2021 |
|
|
JavaScript |
12 |
[DEPRECATED] Ethereum Verified Contracts |
Feb 03, 2022 |
|
|
TypeScript |
316 |
Plugins Verified by Homebridge |
Aug 14, 2022 |
|
|
Roff |
2 |
CNFTs Verified Policy Database |
Jan 01, 2022 |
|
|
Roff |
2 |
CNFTs Verified Policy Database |
Nov 25, 2021 |
|
|
CMake |
2 |
Verified Telemetry FreeRTOS Sample |
Oct 26, 2021 |
|
|
Roff |
159 |
CNFTs Verified Policy Database |
Apr 28, 2022 |
|
|
Go |
3 |
Examples verified using Perennial |
Jun 24, 2022 |