Pinned

1. ravi ravi Public

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

   C 1.1k 60

2. ravi-compiler ravi-compiler Public

   Parser and compiler for Ravi and Lua

   C 64 5

3. simpledbm simpledbm Public

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

   Java 52 11

4. C C Public

   Revive UNIX V7 C compiler written by Dennis Ritchie

   C 20 7

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 60 3

6. paxos paxos Public

   Basic and Multi Paxos in Java

   Java 1