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:
- Lightweight threads for Java, with message passing, nio, http and scheduling support.☆11Oct 7, 2013Updated 13 years ago
- variable-sized binary ordered dictionary☆11Mar 13, 2014Updated 12 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- Erlang Fractal BTree Storage☆14Sep 27, 2012Updated 14 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 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.
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 7 years ago
- Erlang Berkeley DB Interface☆11Jan 23, 2012Updated 14 years ago
- Microbenchmarking Stream APIs of Java 8, Scala, C#, F#.☆20Dec 16, 2014Updated 11 years ago
- Forth bits-and-pieces (for World Domination)☆14Jun 2, 2009Updated 17 years ago
- autoconf helper scripts for iOS☆15Oct 5, 2023Updated 3 years ago
- A simple build tool plugin that allows you to pull in jars from github's download page☆10Mar 19, 2010Updated 16 years ago
- An LRU Simulator☆12Jul 16, 2010Updated 16 years ago
- Learn, share and collaborate on ASIC design using open tools and technologies☆12Dec 27, 2020Updated 5 years ago
- A group excursion of twitter employees into computation via scheme☆15Jun 1, 2010Updated 16 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Oct 2, 2026Updated last month
- A ZooKeeper client library in Scala.☆13Mar 10, 2010Updated 16 years ago
- Test model for subsurface scattering☆10Aug 26, 2015Updated 11 years ago
- Resuable iPhone pin lock view controller☆10Feb 28, 2012Updated 14 years ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- Git extensions to provide high-level operations for a rebase-based git workflow. Similar to nvie/gitflow, but uses **constant automatic r…☆10Oct 11, 2022Updated 4 years ago
- Usages analysis tool☆13Oct 21, 2017Updated 9 years ago
- Align versions in Maven POMs with those found in a Bill-of-Materials POM☆12Oct 29, 2015Updated 11 years ago
- Pure ZeroMQ in Haskell☆12Dec 30, 2012Updated 13 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Craft CMS plugin with Twig filters for converting and transforming colour values.☆13Oct 2, 2026Updated last month
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- A small library for managing sets of JVM properties to configure an app or library.☆14Nov 22, 2021Updated 4 years ago
- ☆11Dec 8, 2011Updated 14 years ago
- Mirror of the defunct GreasySpoon project.☆13Jan 16, 2013Updated 13 years ago
- An EcmaScript lexical scanner that is as correct as one can be and produces a token stream that any valid EcmaScript parser will unambigu…☆11Jul 6, 2017Updated 9 years ago
- A compact AVR programmer that doesn't require ugly cables.☆14May 23, 2012Updated 14 years ago
- Skeleton showing howto setup / structure a python project for analysing with the sonar python plugin☆11Jan 7, 2015Updated 11 years ago
- servant website☆18Jun 18, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Incremental regular expression matching☆54Dec 18, 2012Updated 13 years ago
- ☆19Oct 7, 2015Updated 11 years ago
- Simple library that warms up Neo4j caches with a single REST call☆10Jul 5, 2016Updated 10 years ago
- Javascript tokenizer for english sentences☆14Oct 15, 2015Updated 11 years ago
- a fake network driver to test network applications☆19Apr 23, 2012Updated 14 years ago
- Basic dataset for the linguistic data collection.☆16Feb 13, 2017Updated 9 years ago
- Wardriving data sets I'm releasing to the public, and a number of perl scripts I've written for analyzing Kismet data☆11Dec 17, 2013Updated 12 years ago