|
Python |
28 |
[WACV 2020] ImaGINator: Conditional Spatio-Temporal GAN for Video Generation |
Apr 12, 2023 |
|
None |
4 |
Spatio-Temporal Action Detection |
Aug 04, 2022 |
|
Cuda |
2 |
Spatio-Temporal Trajectory Similarity Join |
Nov 16, 2020 |
|
Python |
2 |
Projects on Spatio-Temporal Graphs |
Aug 18, 2022 |
|
C# |
2 |
Spatio Temporal Asset Runtime Services |
Apr 19, 2022 |
|
Python |
142 |
Spatio-temporal BP for SNNs |
Sep 21, 2022 |
|
Python |
354 |
Spatio-Temporal Action Localization System |
Apr 27, 2023 |
|
Python |
2 |
Spatio-Temporal Graph Convolutional Networks |
Mar 22, 2019 |
|
Python |
42 |
Spatio-Temporal Interaction Network wrappers |
Apr 12, 2023 |
|
R |
4 |
Exploration of spatio-temporal data. |
Apr 07, 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 |