Z3Prover/z3 - Gource visualisation

Channel:
India Gourcer
Subscribers:
3,040
Published on ● Video Link: https://www.youtube.com/watch?v=Aa4M2VVW5Jw


Duration: 5:44
147 views
1

Url: https://github.com/Z3Prover/z3
Author: Z3Prover
Repo: z3

Description: The Z3 Theorem Prover
Starred: 9385
Forked: 1437
Watching: 179
Total commits: 18410
Initial commit: Tue Oct 2 08:00:13 2012 -0700
Total number of files: 2495
Total number of lines: 774501



Other Videos By Gourcer


2023-12-30jasonjmcghee/rem - Gource visualisation
2023-12-29hrvach/deskhop - Gource visualisation
2023-12-29nodejs/undici - Gource visualisation
2023-12-29apache/hudi - Gource visualisation
2023-12-29d3george/slash-admin - Gource visualisation
2023-12-28movie-web/movie-web - Gource visualisation
2023-12-27matt8707/ha-fusion - Gource visualisation
2023-12-27Frooodle/Stirling-PDF - Gource visualisation
2023-12-27kilimchoi/engineering-blogs - Gource visualisation
2023-12-27Coder-World04/Complete-System-Design - Gource visualisation
2023-12-27Z3Prover/z3 - Gource visualisation
2023-12-26elifgazioglu/doyouwannagooutwithme - Gource visualisation
2023-12-26JShollaj/awesome-llm-interpretability - Gource visualisation
2023-12-26Enraged-Rabbit-Community/ERCF_v2 - Gource visualisation
2023-12-26Hillobar/Rope - Gource visualisation
2023-12-26microsoft/promptbench - Gource visualisation
2023-12-25Innei/Shiro - Gource visualisation
2023-12-25fosskers/aura - Gource visualisation
2023-12-25apple/ml-ferret - Gource visualisation
2023-12-25ton-community/tsc5 - Gource visualisation
2023-12-24heyman/heynote - Gource visualisation