A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone else.
☆16Jun 7, 2010Updated 15 years ago
Alternatives and similar repositories for jvm-verifier
Users that are interested in jvm-verifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Examine, a memory leak checker on Windows☆13Jun 4, 2016Updated 9 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆16Mar 26, 2025Updated last year
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆16Mar 19, 2026Updated last week
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- 🤖 Mr. Stuhlbein, completely automated☆11Jan 24, 2018Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A library for parsing command line arguments according to type specs in Odin☆19Aug 9, 2024Updated last year
- ARCHIVED: deck.js converter templates for Asciidoctor, implemented in Haml☆10Nov 1, 2018Updated 7 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 years ago
- Archived comments for old pages of The Old New Thing, a userscript to embed them and fix old links☆14Feb 14, 2025Updated last year
- Implement Java's CharSequence over very large text files; usable with regexes, or grappa☆35Apr 26, 2021Updated 4 years ago
- Odin Package Registry☆15Aug 16, 2025Updated 7 months ago
- A classloader for Tomcat 8 which loads the jars of WEB-INF lib in alphabetical order☆17Oct 5, 2018Updated 7 years ago
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- FOX IDE is a simple IDE, for master programmers.☆14Nov 12, 2025Updated 4 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 12 years ago
- ☆11Aug 28, 2015Updated 10 years ago
- Test model for subsurface scattering☆10Aug 26, 2015Updated 10 years ago
- For a given tree builds an SVG based SunBurst diagram☆16Apr 18, 2025Updated 11 months ago
- A Constraint Solver☆12Dec 4, 2015Updated 10 years ago
- RichFaces - JSF component framework☆19Feb 9, 2026Updated last month
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 years ago
- RGB WM is a dynamic tiling window manager for Windows 11 that doesnt sacrifice on its RGB.☆14May 4, 2025Updated 10 months ago
- HTML tables for yesod☆14May 4, 2017Updated 8 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.
- Deobfuscate and decompile Minecraft Classic client and server in order to create mods! UNFINISHED☆15Mar 14, 2025Updated last year
- Add the encrypted flag to an APK file☆23Dec 4, 2013Updated 12 years ago
- Some quick exploration of how k-means auto-encoders work☆10May 11, 2017Updated 8 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 5 years ago
- Framework model for static analysis of Android☆46Jul 13, 2016Updated 9 years ago
- A live compiler diagnostics extension for Atmel Studio☆18Nov 20, 2015Updated 10 years ago
- A guide to idioms in YUI 3 and jQuery.☆65Nov 8, 2017Updated 8 years ago
- Postgres protocol support for finagle☆36Sep 4, 2013Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🎓 Managing programming courses☆16Nov 4, 2024Updated last year
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆13May 4, 2015Updated 10 years ago
- Maven Indexer Examples☆27Oct 13, 2020Updated 5 years ago
- 🔥 Server-side content modloader for Spigot.☆10Nov 8, 2024Updated last year
- An I/O analysis tool that helps you analyze the I/O operations of your Java application. It addresses problems such as leaking file handl…☆12Feb 28, 2020Updated 6 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last month
- Basic dataset for the linguistic data collection.☆15Feb 13, 2017Updated 9 years ago