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:
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- SQLite Virtual Table Example☆25Sep 22, 2015Updated 10 years ago
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 2 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- Integer arithmetic with overflow detection☆73Jan 15, 2015Updated 11 years ago
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 3 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Fake NEWS detector using LIAR dataset.☆11Aug 19, 2019Updated 6 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- Wikimedia Enterprise - client SDK in Python☆20Nov 11, 2025Updated 3 months ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- New generation of State Chart Autocoder written completely in Python☆12Feb 11, 2026Updated 2 weeks ago
- ☆11Sep 11, 2020Updated 5 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- Code and data for the Walert large language model-based chatbot☆12Aug 14, 2025Updated 6 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A very simple SDRAM controller for FPGA written in Verilog. It exposes a SRAM-like interface to the rest of the FPGA fabric☆14Dec 4, 2018Updated 7 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- Containerfile for the Vanilla OS Desktop+Nvidia image.☆16Feb 5, 2026Updated 3 weeks ago
- Experiments compiling the Impeller Entity Shaders to WGSL.☆11Jun 6, 2022Updated 3 years ago
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- UML to RAML generator for MDE toolchains☆12Jun 19, 2018Updated 7 years ago
- Headless agent for test driven relevancy with Quepid.com☆11Mar 6, 2024Updated last year
- Disk Operations API in Go☆16Feb 6, 2025Updated last year
- ☆10Jan 5, 2022Updated 4 years ago
- Inferring Strange Behavior from Connectivity Pattern (PAKDD 2014, KAIS 2015)☆11Mar 27, 2015Updated 10 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 12 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- Dataset from Tip of the Tongue Known-Item Retrieval (2021) paper.☆12Nov 4, 2021Updated 4 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Rank-Biased Precision, Overlap, Recall, and Alignment☆12Feb 18, 2025Updated last year
- A library for parsing security advisories☆13Feb 5, 2026Updated 3 weeks ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Aug 12, 2023Updated 2 years ago
- ☆14Nov 1, 2024Updated last year