The semantics of Java in K
☆23Sep 15, 2021Updated 5 years ago
Alternatives and similar repositories for java-semantics
Users that are interested in java-semantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- ☆10Sep 11, 2020Updated 6 years ago
- AutoML library for Accurat, based on AutoKeras and Scikit-Learn.☆14Jun 21, 2022Updated 4 years ago
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 4 years ago
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated last year
- Plasma wallpaper plugin that loads images from wallhaven.cc☆16Aug 30, 2024Updated 2 years ago
- Resolving architectural smells in microservices via refactorings.☆15Jun 26, 2024Updated 2 years ago
- Inter-process communication, synchronization & scheduling algorithms☆12Apr 7, 2026Updated 6 months ago
- The Art and Science of Empirical Computer Science (Fall 2022)☆21Sep 1, 2023Updated 3 years ago
- Cross-project defection prediction tooling☆17Nov 30, 2021Updated 4 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 years ago
- pypykats in your browser☆56Sep 28, 2019Updated 7 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- "By far the greatest danger of Artificial Intelligence is that people conclude too early that they understand it."― Eliezer Yudkowsky☆16Mar 12, 2021Updated 5 years ago
- UML to RAML generator for MDE toolchains☆12Jun 19, 2018Updated 8 years ago
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Nov 12, 2018Updated 7 years ago
- Create the Clean Architecture directory structure in your projects☆12Jun 3, 2026Updated 4 months ago
- ☆15Jul 30, 2024Updated 2 years ago
- Semantics of x86-64 in K☆179Mar 4, 2020Updated 6 years ago
- Basic Realism Adjustments Is Not a MOD: revisited AIMNAS mod for original JA2 maps☆14Jun 13, 2026Updated 3 months ago
- ISC Performance Lab☆12Apr 14, 2026Updated 5 months ago
- "Be patient with him. If the same quality did not exist in you, you wouldn’t notice it in him."― Robyn Mundell☆17Mar 10, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- A open source Python script to perform static analysis on a Malware Binary File (portable executable).☆16Jan 12, 2016Updated 10 years ago
- Automatically exported from code.google.com/p/testability-explorer☆14Oct 23, 2015Updated 10 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Dec 23, 2020Updated 5 years ago
- The replication package of <Sentiment Analysis for Software Engineering: How Far Can Pre-trained Transformer Models Go?>. Accepted by IC…☆11Nov 29, 2023Updated 2 years ago
- MIT☆23Apr 22, 2016Updated 10 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- BlackboxNLP 2019: Analyzing and interpreting neural networks for NLP☆18Aug 1, 2019Updated 7 years ago
- Energy Monitor based on Raspberry Pi with a webcam.☆22May 28, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Aug 16, 2012Updated 14 years ago
- ☆13Jun 25, 2016Updated 10 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated last year
- Cookbook of sql scripts for MIMIC-II☆17Dec 28, 2015Updated 10 years ago
- ☆18Apr 29, 2015Updated 11 years ago
- GWM ORA Funky Cat to MQTT Bridge☆28Jul 12, 2026Updated 2 months ago
- Files for London PyData London, 2015☆15Jun 18, 2015Updated 11 years ago