Babelsberg Implementations's repositories
babelsberg-r
A Ruby implementation of Babelsberg, based on Topaz. Main repo at
pybelsberg
A Python implementation of Babelsberg
babelsberg-rml
An RML implementation of Babelsberg's Natural Semantics
backtalk.js
A port of the BackTalk finite domain solver to JavaScript
deltablue.js
A fork of the V8 DeltaBlue solver for use in object constraint programming
000
MIT000
rhea.js
An emscripten port of the Rhea solver (https://github.com/Nocte-/rhea)
Language:JavaScriptNOASSERTION000