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:
- Formal semantics of LLVM IR in K☆50Jun 13, 2018Updated 8 years ago
- KJS: A Complete Formal Semantics of JavaScript☆103Oct 13, 2016Updated 9 years ago
- ☆10Sep 11, 2020Updated 5 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- V-to-Go translator☆12Jul 21, 2019Updated 6 years ago
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 3 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Unit testing for Nix code using Lix☆16Sep 15, 2025Updated 9 months ago
- An interpreter for QBasic, written in Rust.☆11Feb 28, 2026Updated 4 months ago
- systray icon for syncthing☆15Aug 10, 2018Updated 7 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
- 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.
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- A performance test comparing Scala verses Erlang with simple agents to determine messaging performance☆18Jul 16, 2011Updated 14 years ago
- pypykats in your browser☆56Sep 28, 2019Updated 6 years ago
- Github Actions for automatically generating the personal awesome list from all of the repositories you starred.☆16Mar 6, 2023Updated 3 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
- 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
- Visualizes various sorting algorithms☆14Dec 23, 2021Updated 4 years ago
- Zero Wine Tryouts: An open source malware analysis tool☆17Jun 7, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Semantics of x86-64 in K☆179Mar 4, 2020Updated 6 years ago
- Semantics of C in K☆327Feb 1, 2022Updated 4 years ago
- ☆15Jul 30, 2024Updated last year
- Linux Based OS using IPFS as a Root File System☆14Dec 29, 2016Updated 9 years ago
- ISC Performance Lab☆12Apr 14, 2026Updated 2 months ago
- A open source Python script to perform static analysis on a Malware Binary File (portable executable).☆16Jan 12, 2016Updated 10 years ago
- ⏱️ React reducer hook for handling optimistic UI updates and race-conditions.☆20Jan 31, 2026Updated 4 months ago
- Behavior Driven Development (BDD) is a refinement for Test Driven Development (TDD).☆43Jan 17, 2013Updated 13 years ago
- Raspberry Pi Emulator☆11Jul 25, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demonstrating why Dynamic Method Invocation with unrestricted method names (the old default of Struts) is dangerous.☆12Sep 30, 2018Updated 7 years ago
- AOSC OS Core: definitions, abbs configurations, and build scripts.☆21Dec 31, 2019Updated 6 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
- ☆10Aug 16, 2012Updated 13 years ago
- Auto-generate programs in C derived languages for multiple platforms☆18Jun 18, 2026Updated last week
- ☆19Jan 6, 2024Updated 2 years ago