| brow |
Tau Prolog/JavaScript |
https://github.com/KNowledgeOnWebScale/brow |
| Cwm |
Python |
https://github.com/linkeddata/swap |
| eye |
SWI-Prolog/C |
https://github.com/eyereasoner/eye |
| eye-js |
SWI-Prolog/Wasm |
https://github.com/eyereasoner/eye-js |
| eye3 |
Trealla Prolog/C |
https://github.com/eyereasoner/eye3 |
| jen3 |
Java |
https://github.com/william-vw/jen3 |
| Latar |
SWI-Prolog/C |
https://github.com/KNowledgeOnWebScale/Latar |
| lingua |
SWI-Prolog/C |
https://github.com/eyereasoner/lingua |
| nemo |
Rust |
https://github.com/knowsys/nemo |
| NO3 |
JavaScript |
https://github.com/KNowledgeOnWebScale/NO3 |
| retina |
Scryer Prolog/Rust |
https://github.com/KNowledgeOnWebScale/retina |
| roxi |
Rust |
https://github.com/pbonte/roxi |
| rs2fol |
Vampire/C++ |
https://github.com/RebekkaMa/rs2fol |
| tension |
JavaScript |
https://github.com/joachimvh/tension.js |
| VLog |
C++ |
https://github.com/karmaresearch/vlog |