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
- KJS: A Complete Formal Semantics of JavaScript☆104Oct 13, 2016Updated 9 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- ☆10Sep 11, 2020Updated 5 years ago
- ☆10Sep 7, 2022Updated 3 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.
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- A go pipeline management library, supporting concurrent pipelines, with multiple nodes and joints☆15Jul 30, 2026Updated last week
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 4 years ago
- V-to-Go translator☆12Jul 21, 2019Updated 7 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☆13Jul 3, 2020Updated 6 years ago
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- WebAssembly FTW☆11Feb 28, 2023Updated 3 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.
- 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
- Unit testing for Nix code using Lix☆16Sep 15, 2025Updated 10 months ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated last year
- DAWN (Debug Adapter with Nix)☆17Jan 1, 2024Updated 2 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
- Disk Operations API in Go☆17May 8, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- Java scope functions inspired by Kotlin☆24Jan 25, 2025Updated last year
- systray icon for syncthing☆15Aug 10, 2018Updated 8 years ago
- Linux Based OS using IPFS as a Root File System☆14Dec 29, 2016Updated 9 years ago
- Resolving architectural smells in microservices via refactorings.☆15Jun 26, 2024Updated 2 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- 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
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- Mosaic trees managment tool and library☆14Nov 17, 2015Updated 10 years ago
- "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
- Github Actions for automatically generating the personal awesome list from all of the repositories you starred.☆16Mar 6, 2023Updated 3 years ago
- UML to RAML generator for MDE toolchains☆12Jun 19, 2018Updated 8 years ago
- A booklet on the Smacc compiler compiler framework☆15Jun 6, 2026Updated 2 months ago
- Create the Clean Architecture directory structure in your projects☆12Jun 3, 2026Updated 2 months ago