Pinned Loading

1. ravi ravi Public

   Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

   C 1.2k 64

2. ravi-compiler ravi-compiler Public

   Parser and compiler for Ravi and Lua

   C 67 5

3. simpledbm simpledbm Public

   SimpleDBM is an Open Source Multi-Threaded Embeddable Transactional Database Engine in Java.

   Java 55 12

4. C C Public

   Revive UNIX V7 C compiler written by Dennis Ritchie

   C 23 8

5. Suravi Suravi Public

   Suravi is a small distribution of Ravi/Lua 5.3 with batteries such as cjson, lpeglabel, luasocket, penlight, torch7, luv, luaossl

   Batchfile 65 3

6. paxos paxos Public

   Basic and Multi Paxos in Java

   Java 1