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
Sorting:
- Formal semantics of LLVM IR in K☆48Jun 13, 2018Updated 7 years ago
- ☆11Sep 11, 2020Updated 5 years ago
- 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
- V-to-Go translator☆12Jul 21, 2019Updated 6 years ago
- Nix source☆13Nov 21, 2020Updated 5 years ago
- ansible-galaxy requirements updater is fast ansible-galaxy replacement☆16Feb 25, 2026Updated 3 weeks ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Networks meet Finance in Python - July 27 2014☆23Oct 2, 2014Updated 11 years ago
- An interpreter for QBasic, written in Rust.☆11Feb 28, 2026Updated 2 weeks 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
- A go pipeline management library, supporting concurrent pipelines, with multiple nodes and joints☆15Mar 4, 2026Updated 2 weeks ago
- 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
- GraphQL extension for StarUML3☆16Apr 29, 2022Updated 3 years ago
- Dinamic classloader☆12Aug 19, 2023Updated 2 years ago
- Resolving architectural smells in microservices via refactorings.☆15Jun 26, 2024Updated last year
- Tech blog☆12Jan 14, 2026Updated 2 months ago
- A Ruby WASM implementation, fully client-side, inspired by foragoodstrftime.com☆14Nov 13, 2022Updated 3 years ago
- log4q is a concise logger for q/kdb+ applications.☆19Apr 7, 2021Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- search-based software engineering☆16Sep 17, 2014Updated 11 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- pypykats in your browser☆56Sep 28, 2019Updated 6 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
- Github Actions for automatically generating the personal awesome list from all of the repositories you starred.☆16Mar 6, 2023Updated 3 years ago
- Mosaic trees managment tool and library☆14Nov 17, 2015Updated 10 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- A booklet on the Smacc compiler compiler framework☆15Oct 2, 2024Updated last year
- Semantics of x86-64 in K☆167Mar 4, 2020Updated 6 years ago
- A toy ELF parser/validator☆15Dec 18, 2024Updated last year
- UML to RAML generator for MDE toolchains☆12Jun 19, 2018Updated 7 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
- Basic Realism Adjustments Is Not a MOD: revisited AIMNAS mod for original JA2 maps☆13Apr 4, 2024Updated last year
- ☆11May 24, 2017Updated 8 years ago