yap-6.3
Prolog compiler
A high-performance Prolog compiler with support for various input/output methods and interface to C.
YAP Development release
13 stars
5 watching
5 forks
Language: C
last commit: almost 4 years ago
Linked from 1 awesome list
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
 arthwang/vsc-prolog | An extension for VS Code that provides language support for Prolog. | 97 |
 vsedach/vacietis | Compiles C code into Common Lisp and provides a Lisp-to-C compiler executable. | 306 |
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |
 google/yara-procdump-python | A Python wrapper around the Yara API to access process memory | 11 |
 jech/cl-yacc | A Common Lisp implementation of the Yacc parser generator tool | 57 |
 ciao-lang/ciao | A logic-based programming language implementation with a portable and modular design | 272 |
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
 cxxxr/valtan | A compiler that translates Common Lisp code into JavaScript | 238 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,138 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 emily33901/vproto | A compiler and runtime for Protocol Buffers in the V programming language | 52 |
 sam46/paskell | A compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code. | 126 |
 albertz/pycparser | A Python-based C parser and interpreter with automatic ctypes interface generation | 347 |
 vovkos/doxyrest | A tool that compiles Doxygen XML into reStructuredText format for Python documentation | 306 |
 asutton/clang | A compiler front-end for the C family of languages built as part of the LLVM project infrastructure | 71 |