This is stars and forks stats for /giuspek/FormalMethods2023 repository. As of 29 Mar, 2024 this repository has 3 stars and 8 forks.
FormalMethods2023 GitHub repository for lab lectures of the Formal Methods course (University of Trento) Surveys and tutorial about SAT/SMT http://satassociation.org/tutorials.html Introduction Python For people that asked me some links to easily learn the basics of Python, please check the material from the following UniTN course: https://disi.unitn.it/~passerini/teaching/2021-2022/sci-pro/index.html. In particular, the material about "Complex statements"are really useful for our course (List Comprehension...
FormalMethods2023 GitHub repository for lab lectures of the Formal Methods course (University of Trento) Surveys and tutorial about SAT/SMT http://satassociation.org/tutorials.html Introduction Python For people that asked me some links to easily learn the basics of Python, please check the material from the following UniTN course: https://disi.unitn.it/~passerini/teaching/2021-2022/sci-pro/index.html. In particular, the material about "Complex statements"are really useful for our course (List Comprehension...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
facebook/buck2-prelude | StarlarkPythonErlang | 31 | 0 | 20 | 0 |
hsf-training/cpluspluscourse | TeXC++CMake | 107 | 0 | 41 | 0 |
logspace-ai/langflow | PythonTypeScriptJavaScript | 12.7k | 0 | 1.8k | 0 |
FranxYao/chain-of-thought-hub | Jupyter NotebookPython | 2k | +12 | 96 | 0 |
loua19/counterpoint | LilyPondPython | 15 | 0 | 1 | 0 |
lzzcd001/MeshDiffusion | PythonCudaC++ | 637 | 0 | 30 | 0 |
jina-ai/agentchain | PythonShellDockerfile | 519 | 0 | 43 | 0 |
jerryjliu/llama_index | PythonJupyter Notebook | 22.3k | +268 | 2.7k | +57 |
ssbuild/chatglm_finetuning | Python | 1.5k | 0 | 168 | 0 |
Azure/AnalyticsinaBox | BicepJupyter NotebookPowerShell | 50 | 0 | 30 | +1 |