|
|
Python |
6 |
iptables ruleset simulator |
Feb 08, 2019 |
|
|
Shell |
2 |
My firewall config iptables |
Apr 25, 2024 |
|
|
None |
3 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
Jan 12, 2022 |
|
|
None |
2 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
Feb 01, 2023 |
|
|
Java |
2402 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
May 09, 2023 |
|
|
Shell |
430 |
Ansible Role - iptables Firewall configuration. |
Aug 06, 2022 |
|
|
Shell |
68 |
An iptables firewall configuration template. |
Apr 18, 2022 |
|
|
C |
3 |
A lightweight firewall like iptables |
Feb 26, 2023 |
|
|
Shell |
32 |
Manage iptables firewall using ferm |
Mar 01, 2023 |
|
|
Isabelle |
3 |
Self study log of the book |
Jul 15, 2021 |
|
|
Isabelle |
4 |
Verifying the optimization phases of the GraalVM compiler |
Feb 28, 2022 |
|
|
Isabelle |
4 |
None |
Sep 23, 2020 |
|
|
Isabelle |
4 |
The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode) |
Aug 26, 2022 |
|
|
Isabelle |
6 |
Formalization of the Cardano ledger specification |
Sep 08, 2021 |
|
|
Isabelle |
6 |
Formal proofs about Ethereum slashing protection strategies |
Jan 01, 2022 |
|
|
Isabelle |
10 |
A collection of useful tips/tricks/hints for Isabelle users. |
Feb 09, 2022 |
|
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
|
Isabelle |
2 |
nb flag with github languages |
Mar 22, 2022 |
|
|
Isabelle |
2 |
Translator from GHC Core to Isabelle/HOLCF |
Jun 25, 2015 |
|
|
Isabelle |
5 |
ARMv8-A Address Translation: Isabelle Proof Scripts |
Dec 16, 2022 |
|
|
Isabelle |
56 |
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A … |
Feb 14, 2023 |
|
|
Isabelle |
2 |
None |
Aug 05, 2022 |
|
|
Isabelle |
2 |
None |
Jun 22, 2021 |
|
|
Isabelle |
2 |
Teaclave specification and proofs. |
Jan 29, 2022 |
|
|
Isabelle |
2 |
Curso de "Razonamiento automático" |
Jun 24, 2022 |
|
|
Isabelle |
2 |
Git mirror of https://foss.heptapod.net/isa-afp/afp-devel |
Jan 11, 2022 |
|
|
Isabelle |
2 |
Formalisation of the swap-or-not shuffle used in Ethereum 2.0 |
Feb 02, 2021 |
|
|
Isabelle |
18 |
IC Interface Specification |
Jul 20, 2022 |
|
|
Isabelle |
29 |
Git mirror of https://isabelle.in.tum.de/repos/isabelle |
Jul 25, 2022 |
|
|
Isabelle |
32 |
None |
Aug 01, 2022 |
|
|
Isabelle |
48 |
None |
Jul 20, 2022 |
|
|
Isabelle |
104 |
git mirror of the Munich isabelle hg repository |
May 06, 2022 |
|
|
Isabelle |
152 |
Cogent Project |
Jul 28, 2022 |
|
|
Isabelle |
2 |
AutoCorres : Automatic Specification Abstraction |
Jun 17, 2022 |
|
|
Isabelle |
527 |
Black-box transactional safety checker based on cycle detection |
Oct 13, 2022 |
|
|
Isabelle |
3 |
"Software Foundations" in Isabelle |
Jul 16, 2022 |
|
|
Isabelle |
2 |
Web page |
Nov 19, 2021 |
|
|
Isabelle |
2 |
The curse of λ |
Mar 24, 2023 |
|
|
Isabelle |
193 |
Formal models of core Elasticsearch algorithms |
Aug 07, 2022 |
|
|
Isabelle |
9 |
the blog "Machine Logic" |
Mar 12, 2023 |
|
|
Isabelle |
2 |
Random Isabelle developments |
May 01, 2023 |
|
|
Isabelle |
8 |
None |
May 01, 2023 |
|
|
Isabelle |
7 |
None |
Apr 19, 2023 |
|
|
Isabelle |
2 |
A project to integrate the functionality of Computer Algebra Systems into Isabelle |
Feb 28, 2023 |
|
|
Isabelle |
4 |
Components for Verifying Hybrid Systems in Isabelle/HOL |
Apr 26, 2023 |
|
|
Isabelle |
3 |
Interactions Trees in Isabelle/HOL and a CSP model |
Dec 19, 2022 |
|
|
Isabelle |
2 |
An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF |
Sep 23, 2021 |
|
|
Isabelle |
4 |
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL |
Jan 11, 2023 |
|
|
Isabelle |
2 |
None |
Jan 06, 2022 |
|
|
Isabelle |
2 |
A refreshed and minimalist implementation of Isabelle/UTP |
Feb 09, 2023 |