The semantics of Java in K
☆19Sep 15, 2021Updated 4 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:
- AutoML library for Accurat, based on AutoKeras and Scikit-Learn.☆14Jun 21, 2022Updated 3 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 3 years ago
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated 8 months ago
- A unified framework for API code generators that work with OpenAPI, RAPID-ML and other description languages.☆11Sep 15, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- GWM ORA Funky Cat to MQTT Bridge☆23Mar 16, 2025Updated last year
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- search-based software engineering☆16Sep 17, 2014Updated 11 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- pypykats in your browser☆56Sep 28, 2019Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Semantics of x86-64 in K☆168Mar 4, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Zero Wine Tryouts: An open source malware analysis tool☆17Jun 7, 2016Updated 9 years ago
- Semantics of C in K☆324Feb 1, 2022Updated 4 years ago
- Build artefacts for creating a Eclipse RCP application with gradle☆10May 17, 2019Updated 6 years ago
- Cross-project defection prediction tooling☆17Nov 30, 2021Updated 4 years ago
- ☆15Jul 30, 2024Updated last year
- Agent Based Modeling framework based on Spring and Neo4J☆24May 1, 2014Updated 11 years ago
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- ISC Performance Lab☆12Feb 22, 2026Updated last month
- NetHack enhancement layer☆17Dec 11, 2014Updated 11 years ago
- 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.
- A open source Python script to perform static analysis on a Malware Binary File (portable executable).☆16Jan 12, 2016Updated 10 years ago
- A review-paper on TensorFlow.☆14Oct 1, 2016Updated 9 years ago
- Raspberry Pi Emulator☆11Jul 25, 2014Updated 11 years ago
- Demonstrating why Dynamic Method Invocation with unrestricted method names (the old default of Struts) is dangerous.☆12Sep 30, 2018Updated 7 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
- ☆10Aug 16, 2012Updated 13 years ago
- BlackboxNLP 2019: Analyzing and interpreting neural networks for NLP☆18Aug 1, 2019Updated 6 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Apr 23, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Database smell detector☆13Jan 24, 2018Updated 8 years ago
- Evolutionary optimization of extant software☆28Jun 9, 2014Updated 11 years ago
- Files for London PyData London, 2015☆15Jun 18, 2015Updated 10 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- ☆14Aug 20, 2024Updated last year
- as windows theme but better ;)☆11Mar 16, 2020Updated 6 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago