-
-
-
-
-
-
-
-
cs492-program-reasoning Public
Forked from prosyslab-classroom/cs424-program-reasoningPython UpdatedNov 27, 2023 -
-
cs524-program-analysis Public
Forked from prosyslab-classroom/cs524-program-analysisPython UpdatedAug 28, 2023 -
-
PatchWeave Public
Forked from rshariffdeen/PatchWeaveAutomated Patch transplantation tool for C programs
Python MIT License UpdatedJun 12, 2023 -
-
-
-
-
-
carbonyl Public
Forked from fathyb/carbonylChromium running inside your terminal
Rust UpdatedJan 30, 2023 -
ASTChangeAnalyzer Public
Forked from ISEL-HGU/ASTChangeAnalyzerFor collecting change pattern information and more
Java UpdatedJan 25, 2023 -
-
prosyslab.github.io Public
Forked from prosyslab/prosyslab.github.ioHTML MIT License UpdatedJan 19, 2023 -
extension-examples Public
Forked from jupyterlab/extension-examplesJupyterLab Extensions by Examples
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedOct 7, 2022 -
ambix Public
Forked from umlaeute/ambixambisonics exchange library (clone)
C GNU Lesser General Public License v2.1 UpdatedSep 29, 2022 -
readme-md-generator Public
Forked from kefranabg/readme-md-generator📄 CLI that generates beautiful README.md files
JavaScript MIT License UpdatedSep 20, 2022 -
CVEfixes Public
Forked from secureIT-project/CVEfixesCVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
Python Other UpdatedSep 7, 2022 -
pydiff Public
A modularizable tool for code differencing and AST extracting through Git commits specialized for python projects
Java UpdatedAug 9, 2022 -
-
developing-extensions-tutorial Public
Forked from marthacryan/scipy-2022-developing-jupyterlab-extensions-tutorialUpdatedJul 11, 2022 -
jupyterlab-kite Public
Forked from kiteco/jupyterlab-kiteKite Autocomplete Extension for JupyterLab
TypeScript Other UpdatedJul 8, 2022 -
{{ message }}