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 7 years ago
- ☆10Sep 11, 2020Updated 5 years ago
- ☆10Sep 7, 2022Updated 3 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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☆14Nov 21, 2020Updated 5 years ago
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 3 years ago
- 📦⛓ Curated list of awesome things regarding WebAssembly (wasm) and Blockchain projects☆14Jul 4, 2019Updated 6 years 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 3 months ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 3 years ago
- 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.
- A go pipeline management library, supporting concurrent pipelines, with multiple nodes and joints☆15Mar 24, 2026Updated 2 months ago
- DAWN (Debug Adapter with Nix)☆17Jan 1, 2024Updated 2 years ago
- Disk Operations API in Go☆17May 8, 2026Updated last month
- Plasma wallpaper plugin that loads images from wallhaven.cc☆15Aug 30, 2024Updated last year
- 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 5 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- 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
- Zero Wine Tryouts: An open source malware analysis tool☆17Jun 7, 2016Updated 10 years ago
- Semantics of x86-64 in K☆178Mar 4, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Cross-project defection prediction tooling☆17Nov 30, 2021Updated 4 years ago
- ☆15Jul 30, 2024Updated last year
- gevent.core implemented as cffi module, might be used with pypy☆56Apr 30, 2014Updated 12 years ago
- ISC Performance Lab☆12Apr 14, 2026Updated last month
- A open source Python script to perform static analysis on a Malware Binary File (portable executable).☆16Jan 12, 2016Updated 10 years ago
- Java Examples☆11Jan 12, 2023Updated 3 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago