-
Carl von Ossietzky Universität Oldenburg
- Oldenburg
- cedricrupb.github.io
- @cedrichter
- @cedrichter.bsky.social
-
code_diff Public
Fast AST based code differencing in Python
-
code_tokenize Public
Fast tokenization and structural analysis of any programming language
-
code_ast Public
Fast and robust AST parsing of any language
-
optimum-nvidia Public
Forked from huggingface/optimum-nvidiaPython Apache License 2.0 UpdatedDec 4, 2024 -
VMamba Public
Forked from MzeroMiko/VMambaVMamba: Visual State Space Models,code is based on mamba
Python MIT License UpdatedDec 4, 2024 -
lightning-thunder Public
Forked from Lightning-AI/lightning-thunderMake PyTorch models up to 40% faster! Thunder is a source to source compiler for PyTorch. It enables using different hardware executors at once; across one or thousands of GPUs.
Python Apache License 2.0 UpdatedDec 4, 2024 -
AgentBench Public
Forked from THUDM/AgentBenchA Comprehensive Benchmark to Evaluate LLMs as Agents (ICLR'24)
Python Apache License 2.0 UpdatedDec 4, 2024 -
Instant-angelo Public
Forked from hugoycj/Instant-angeloInstant-angelo: Build high-fidelity Digital Twin within 20 Minutes!
Python MIT License UpdatedDec 4, 2024 -
SoM Public
Forked from microsoft/SoMSet-of-Mark Prompting for GPT-4V and LMMs
Python MIT License UpdatedDec 4, 2024 -
-
nextpy Public
Forked from dot-agent/nextpy🤖Self-Modifying Framework from the Future 🔮 World's First AMS
Python Apache License 2.0 UpdatedDec 3, 2024 -
TSSB3M Public
Mining tool and large-scale datasets of single statement bug fixes in Python
-
nbfbaselines Public
Neural baselines for finding and fixing single token bugs in Python
-
cpachecker Public
Forked from sosy-lab/cpacheckerPeSCo, predicting analyses sequences
-
-
-
pycparser Public
Forked from eliben/pycparser🐍 Complete C99 parser in pure Python
-
cst_transform Public
A library for representing C programs for verifier selection with support for fast prototyping of new selectors
-
semtransforms Public
Forked from FlorianDyck/semtransformsPython Creative Commons Attribution Share Alike 4.0 International UpdatedMar 1, 2023 -
code_graph Public
Fast program graph generation in Python
-
-
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedNov 2, 2022 -
-
-
Cracksv2 Public
Cracks FactChecker v2: Check the truthworthines of statements using Wikipedia
Java Apache License 2.0 UpdatedMay 20, 2022 -
-
py-tree-sitter Public
Forked from tree-sitter/py-tree-sitterPython bindings to the Tree-sitter parsing library
C MIT License UpdatedFeb 28, 2022 -
ctxmutants Public
Generate more realistic mutations with contextual mutants
-
pySVRanker Public
A python library to predict rankings how different software verification tools perform on one program.
-
sv-comp Public
Forked from sosy-lab/sv-compInformation to reproduce results from SV-COMP
Apache License 2.0 UpdatedOct 14, 2020