The semantics of Java in K
☆20Sep 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:
- Formal semantics of LLVM IR in K☆51Jun 13, 2018Updated 8 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- AutoML library for Accurat, based on AutoKeras and Scikit-Learn.☆14Jun 21, 2022Updated 4 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 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.
- A go pipeline management library, supporting concurrent pipelines, with multiple nodes and joints☆15Jul 3, 2026Updated 2 weeks ago
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 4 years ago
- V-to-Go translator☆12Jul 21, 2019Updated 6 years ago
- Nix source☆15Nov 21, 2020Updated 5 years ago
- "Take care of your car in the garage, and the car will take care of you on the road." ― Amit Kalantri☆14Jul 3, 2020Updated 6 years ago
- WebAssembly FTW☆11Feb 28, 2023Updated 3 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- 📦⛓ Curated list of awesome things regarding WebAssembly (wasm) and Blockchain projects☆14Jul 4, 2019Updated 7 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 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.
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated last year
- GraphQL extension for StarUML3☆16Apr 29, 2022Updated 4 years ago
- DAWN (Debug Adapter with Nix)☆17Jan 1, 2024Updated 2 years ago
- A Ruby WASM implementation, fully client-side, inspired by foragoodstrftime.com☆14Nov 13, 2022Updated 3 years ago
- A network map of 15 major groups or projects and their known clinical affiliates that have connections to "gender exploratory" therapy th…☆13Jun 10, 2025Updated last year
- Java scope functions inspired by Kotlin☆23Jan 25, 2025Updated last year
- Linux Based OS using IPFS as a Root File System☆14Dec 29, 2016Updated 9 years ago
- Tech blog☆12Jan 14, 2026Updated 6 months ago
- A performance test comparing Scala verses Erlang with simple agents to determine messaging performance☆18Jul 16, 2011Updated 15 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Art and Science of Empirical Computer Science (Fall 2022)☆21Sep 1, 2023Updated 2 years ago
- Cross-project defection prediction tooling☆17Nov 30, 2021Updated 4 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- pypykats in your browser☆56Sep 28, 2019Updated 6 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- Mosaic trees managment tool and library☆14Nov 17, 2015Updated 10 years ago
- search-based software engineering☆16Sep 17, 2014Updated 11 years ago
- Visualizes various sorting algorithms☆14Dec 23, 2021Updated 4 years ago
- Create the Clean Architecture directory structure in your projects☆12Jun 3, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lightweight business rule engine☆28Jun 21, 2026Updated 3 weeks ago
- ☆15Jul 30, 2024Updated last year
- Semantics of x86-64 in K☆179Mar 4, 2020Updated 6 years ago
- Build artefacts for creating a Eclipse RCP application with gradle☆10May 17, 2019Updated 7 years ago
- Zero Wine Tryouts: An open source malware analysis tool☆17Jun 7, 2016Updated 10 years ago
- Java Examples☆11Jan 12, 2023Updated 3 years ago
- ISC Performance Lab☆12Apr 14, 2026Updated 3 months ago