Translate java jar files into Boogie programs
☆12Apr 16, 2024Updated last year
Alternatives and similar repositories for jar2bpl
Users that are interested in jar2bpl are comparing it to the libraries listed below
Sorting:
- solver for the reachability modulo theories problem☆63Sep 11, 2023Updated 2 years ago
- An AmazingRace-inspired version of Doodle Jump I started in 2012, continued in 2020, but never finished.☆12May 4, 2024Updated last year
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆11Jul 26, 2022Updated 3 years ago
- Ontology Modeling Language (OML) Workbench☆14Mar 12, 2020Updated 5 years ago
- Uploads stuff to Google or Amazon storage.☆31May 3, 2016Updated 9 years ago
- ANSI Escape Sequence Parser☆10Apr 2, 2012Updated 13 years ago
- Reusable playing cards library for Rust.☆10Oct 1, 2019Updated 6 years ago
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 9 years ago
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- Brain Interpreter for arduino☆12Jul 16, 2018Updated 7 years ago
- anything developer relations at npm☆11Feb 18, 2019Updated 7 years ago
- Example Fabulous app that uses MSAL to authenticate a user on Azure Active Directory☆11Dec 8, 2022Updated 3 years ago
- When you want to speak to the manager.☆14Sep 18, 2025Updated 5 months ago
- llvm Call Graph分析☆10May 27, 2017Updated 8 years ago
- This project contains the data for https://aka.ms/apicatalog, a tool to visualize and analyze the API overlap between standards specifica…☆15Mar 5, 2018Updated 8 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Hopefully the beginning of a new SNES game☆12May 8, 2017Updated 8 years ago
- ARCHIVED--Docker app to crawl URLs and generate WARCs☆10Apr 11, 2017Updated 8 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆45Nov 16, 2016Updated 9 years ago
- A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.☆11Apr 10, 2021Updated 4 years ago
- ☆20Updated this week
- an example of dragging control points of bezier curves using d3.js☆10Sep 6, 2014Updated 11 years ago
- Boogie☆570Updated this week
- Docker Image for Adobe Enterprise Manager☆12Jul 9, 2018Updated 7 years ago
- Command-lite tool for Moon-lang☆14Oct 4, 2017Updated 8 years ago
- ☆12Jan 7, 2025Updated last year
- Declarative mapping between JSON and Objective-C classes☆21Mar 15, 2023Updated 2 years ago
- Linked Open Data Viewer☆13Feb 15, 2018Updated 8 years ago
- Material for the "Understanding the Node.js Platform" class at General Assembly☆66Apr 20, 2018Updated 7 years ago
- ☆11Jul 11, 2023Updated 2 years ago
- A vanishing story.☆10Oct 16, 2025Updated 4 months ago
- ☆11Jul 27, 2017Updated 8 years ago
- ☆13Feb 2, 2022Updated 4 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Turn a Git URL into its canonical form.☆14Dec 15, 2020Updated 5 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- ClojureBridge workshop organizing materials☆14Nov 11, 2017Updated 8 years ago