-
KTH Institute of Technology
- Stockholm
- https://scholar.google.com/citations?hl=en&user=JwCMVZIAAAAJ
Highlights
- Pro
-
ChekShe Public
ChekShe is an LLM-based tool that generates property-based tests for cyber physical systems.
Python UpdatedMar 5, 2025 -
-
socket.io-file-vul-ex Public
An example of exploiting the vulnerability in socket.io-file 2.0.31.
Python UpdatedOct 30, 2024 -
opensmtpd Public
Forked from wodby/opensmtpdOpenSMTPD docker container image
Shell UpdatedOct 15, 2024 -
mutpy Public
Forked from mutpy/mutpyMutPy is a mutation testing tool for Python 3.x source code
Python Other UpdatedJun 28, 2024 -
spotflow Public
Forked from andrehora/spotflowRuntime analysis for Python programs
Python MIT License UpdatedMay 14, 2024 -
-
-
-
force-warning-annotation Public
Forked from algomaster99/force-warning-annotationJavaScript UpdatedMar 29, 2023 -
spoon Public
Forked from INRIA/spoonSpoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…
Java Other UpdatedMar 27, 2023 -
-
program-repair.github.io Public
Forked from program-repair/program-repair.github.ioAutomated program repair bibliography, tools and benchmarks.
HTML UpdatedAug 16, 2022 -
-
gson Public
Forked from google/gsonA Java serialization/deserialization library to convert Java Objects into JSON and back
Java Apache License 2.0 UpdatedJun 21, 2022 -
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.
Java MIT License UpdatedJun 18, 2022 -
commons-lang Public
Forked from apache/commons-langMirror of Apache Commons Lang
Java Apache License 2.0 UpdatedJun 17, 2022 -
commons-io Public
Forked from apache/commons-ioMirror of Apache Commons IO
Java Apache License 2.0 UpdatedJun 15, 2022 -
-
-
YCSB Public
Forked from brianfrankcooper/YCSBYahoo! Cloud Serving Benchmark
Java Apache License 2.0 UpdatedMay 18, 2022 -
Vitro Public
Forked from vivo-project/VitroVitro is a "full stack" framework for building semantic web applications. It is not domain specific.
Java BSD 3-Clause "New" or "Revised" License UpdatedMay 17, 2022 -
geohash-java Public
Forked from kungfoo/geohash-javaImplementation of GeoHashes in java. We try to be/stay compliant to the spec, as far as possible.
Java Other UpdatedMay 17, 2022 -
nbvcxz Public
Forked from GoSimpleLLC/nbvcxzPassword strength estimator
Java MIT License UpdatedMay 17, 2022 -
bitfinex-v2-wss-api-java Public
Forked from jnidzwetzki/bitfinex-v2-wss-api-javaThis project provides a Java client library for the Bitfinex WebSocket API (v2). Public and private channels (candles, ticks, executed trades, (raw) orderbooks, orders, and wallets) are implemented.
Java Apache License 2.0 UpdatedMay 17, 2022 -
galimatias Public
Forked from smola/galimatiasgalimatias is a URL parsing and normalization library written in Java.
Java MIT License UpdatedMay 17, 2022 -
jolokia Public
Forked from jolokia/jolokiaJMX on Capsaicin
Java Apache License 2.0 UpdatedMay 9, 2022 -
sonar-cxx Public
Forked from SonarOpenCommunity/sonar-cxxSonarQube C++ Community plugin (cxx plugin): This plugin adds C++ support to SonarQube with the focus on integration of existing C++ tools.
Java GNU Lesser General Public License v3.0 UpdatedMay 9, 2022 -
Sorald-experiments Public
This repository contains scripts and data for experiments related to Sorald.
-
devops-course Public
Forked from KTH/devops-courseRepository of the DevOps course at KTH Royal Institute of Technology DD2482
Python UpdatedMar 2, 2022