Pinned Repositories
Apollo-lander
Lua implemented in Mercury
datalogmn
Datalog implementation in Mercury using stratified negation and tabling
lua2c
convert Lua source code into an equivalent C source code written in terms of Lua C API calls
Mad_Hatter
mtermbox2
Mercury bindings for the termbox2 header library
nm_modern_ellipse
prolua
A simple Lua interpreter written in Prolog.
mercury
The Mercury logic programming system.
C4Cypher's Repositories
C4Cypher/Apollo-lander
Lua implemented in Mercury
C4Cypher/lua2c
convert Lua source code into an equivalent C source code written in terms of Lua C API calls
C4Cypher/datalogmn
Datalog implementation in Mercury using stratified negation and tabling
C4Cypher/Mad_Hatter
C4Cypher/mtermbox2
Mercury bindings for the termbox2 header library
C4Cypher/nm_modern_ellipse
C4Cypher/prolua
A simple Lua interpreter written in Prolog.