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 16 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:
- Examples of Mastermind implemented in different ZK languages and frameworks.☆17Mar 26, 2025Updated last year
- Examine, a memory leak checker on Windows☆15Jun 4, 2016Updated 10 years ago
- Java annotation processor for automatically delegating interface APIs to a composed instance of that interface☆17Updated this week
- Reusable AI agent skills for AuditHub security tools. Teach Claude Code and Codex how to run OrCa fuzzing campaigns, launch DeFi Vanguard…☆23Jul 10, 2026Updated 2 weeks ago
- The Val Programming Language☆12Sep 28, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🤖 Mr. Stuhlbein, completely automated☆11Jan 24, 2018Updated 8 years ago
- ARCHIVED: deck.js converter templates for Asciidoctor, implemented in Haml☆10Nov 1, 2018Updated 7 years ago
- Discord 2FA is a Minecraft plugin designed to enhance the security of your Minecraft server by integrating two-factor authentication (2FA…☆12May 13, 2026Updated 2 months ago
- Microbenchmarking Stream APIs of Java 8, Scala, C#, F#.☆20Dec 16, 2014Updated 11 years ago
- Archived comments for old pages of The Old New Thing, a userscript to embed them and fix old links☆15Feb 14, 2025Updated last year
- A classloader for Tomcat 8 which loads the jars of WEB-INF lib in alphabetical order☆17Oct 5, 2018Updated 7 years ago
- Odin Package Registry☆15Aug 16, 2025Updated 11 months ago
- Implement Java's CharSequence over very large text files; usable with regexes, or grappa☆37Apr 26, 2021Updated 5 years ago
- FOX IDE is a simple IDE, for master programmers.☆14Nov 12, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Test model for subsurface scattering☆10Aug 26, 2015Updated 10 years ago
- A Constraint Solver☆12Dec 4, 2015Updated 10 years ago
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 years ago
- RichFaces - JSF component framework☆20Feb 9, 2026Updated 5 months ago
- ☆11Aug 28, 2015Updated 10 years ago
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 13 years ago
- HTML tables for yesod☆14May 4, 2017Updated 9 years ago
- RGB WM is a dynamic tiling window manager for Windows 11 that doesnt sacrifice on its RGB.☆14May 4, 2025Updated last year
- Deobfuscate and decompile Minecraft Classic client and server in order to create mods! UNFINISHED☆15Mar 14, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Some quick exploration of how k-means auto-encoders work☆10May 11, 2017Updated 9 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- 🎓 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 11 years ago
- 🔥 Server-side content modloader for Spigot.☆10Nov 8, 2024Updated last year
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 years ago
- Basic dataset for the linguistic data collection.☆15Feb 13, 2017Updated 9 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Javascript tokenizer for english sentences☆14Oct 15, 2015Updated 10 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- ☆19Oct 7, 2015Updated 10 years ago
- VisualVM is an All-in-One Java Troubleshooting Tool☆14Apr 27, 2017Updated 9 years ago
- OpenType font file format fuzzer for Windows☆53Jun 8, 2013Updated 13 years ago
- A Java framework for testing multithreaded code.☆13Oct 26, 2018Updated 7 years ago