C4Cypher

followers

following

stars

C4Cypher's repositories

Apollo-lander

Lua implemented in Mercury

Language:MercuryGPL-2.012 30

lua2c

convert Lua source code into an equivalent C source code written in terms of Lua C API calls

Language:LuaNOASSERTION2 10

datalogmn

Datalog implementation in Mercury using stratified negation and tabling

Language:MercuryGPL-3.0010

nm_modern_ellipse

010

prolua

A simple Lua interpreter written in Prolog.

Language:LuaNOASSERTION010