krestenkrab/jvm-verifier krestenkrab/jvm-verifier

  • Stars
    star
    15
  • Rank 1,332,967 (Top 27 %)
  • Language
    Java
  • License
    GNU General Publi...
  • Created over 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
krestenkrab/jvm-verifier
github

krestenkrab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone else.

More Repositories

1

hanoidb

Erlang LSM BTree Storage
Erlang
298
star
2

triq

Trifork QuickCheck
Erlang
284
star
3

erlubi

Ubigraph Erlang Client (and Process Visualizer)
Erlang
189
star
4

emmap

Erlang Memory Map
C++
77
star
5

bitcask-java

Implementation of Basho's bitcask in Java
Java
70
star
6

riak_link_index

Simple Indexer for Riak based on Links
Erlang
27
star
7

riak-java-pb-client

No longer in use; all functionality is now merged into Basho's riak-java-client
Java
26
star
8

kilim-erjang

CLONE OF: Kilim - a message-passing framework for Java that provides ultra-lightweight threads
Java
15
star
9

riak_btree_backend

Backend for Riak/KV based on couch_btree
Erlang
12
star
10

vbisect

variable-sized binary ordered dictionary
Erlang
11
star
11

bets

Erlang Berkeley DB Interface
C
11
star
12

hotruby

A JVM-based Ruby VM
Ruby
10
star
13

eplc

Erlang Process-Local Cache
Erlang
7
star
14

mdb

OpenLDAP MDB: Memory-Mapped Database
C
7
star
15

riak_webhook

Simple postcommit web hook for Riak
Erlang
5
star
16

erlang_cbor

Erlang implementation of Concise Binary Object Representation (CBOR), RFC 7049
Erlang
4
star
17

erjang

Erjang, moved to Trifork (organization) account
4
star
18

deltazip

Zip adaptation for archiving
3
star
19

dart

Java
3
star
20

basket

HTML5 Local Storage Abstraction [ IndexedDB, WebSQL, localStorage, IE UserData ]
3
star
21

fractal_btree

Project Renamed
2
star
22

eio

Erlang Flavored I/O for C++
Shell
2
star
23

mdns-responder

C
2
star
24

Pencil

C++
2
star
25

riak-java-client-api

An attempt at a new api for the Riak Java Client
Java
2
star
26

leveldb

Mirror of LevelDB
C++
1
star