Babelsberg Implementations

Pinned Repositories

babelsberg-js
Language:HTML45 8 1116
babelsberg-r
A Ruby implementation of Babelsberg, based on Topaz. Main repo at
Language:Python19 9 12
babelsberg-rml
An RML implementation of Babelsberg's Natural Semantics
Language:Ruby2 2 01
babelsberg-s
Language:Smalltalk10 9 12
babelsberg.js
Language:JavaScript3 3 01
backtalk.js
A port of the BackTalk finite domain solver to JavaScript
Language:JavaScript20
deltablue.js
A fork of the V8 DeltaBlue solver for use in object constraint programming
Language:JavaScript10
pybelsberg
A Python implementation of Babelsberg
Language:Python7 9 02
relax.js
Sutherland's Relaxation, adapted from Alex' JS implementation
Language:JavaScript2 2 01
z3.js
Compilation script and wrapper for Z3 compiled through Emscripten
Language:JavaScript12 6 00

Babelsberg Implementations's Repositories

babelsberg/babelsberg-js
Language:HTML45 8 1116
babelsberg/babelsberg-r
A Ruby implementation of Babelsberg, based on Topaz. Main repo at
Language:Python19 9 12
babelsberg/z3.js
Compilation script and wrapper for Z3 compiled through Emscripten
Language:JavaScript12 6 00
babelsberg/babelsberg-s
Language:Smalltalk10 9 12
babelsberg/pybelsberg
A Python implementation of Babelsberg
Language:Python7 9 02
babelsberg/babelsberg.js
Language:JavaScript3 3 01
babelsberg/babelsberg-rml
An RML implementation of Babelsberg's Natural Semantics
Language:Ruby2 2 01
babelsberg/backtalk.js
A port of the BackTalk finite domain solver to JavaScript
Language:JavaScript20
babelsberg/relax.js
Sutherland's Relaxation, adapted from Alex' JS implementation
Language:JavaScript2 2 01
babelsberg/deltablue.js
A fork of the V8 DeltaBlue solver for use in object constraint programming
Language:JavaScript10
babelsberg/skypyblue
Implementation of the SkyBlue constraint solver in Python.
Language:Python1 2 01
babelsberg/babelsberg-k
Language:Ruby8 0
babelsberg/dwarfcassowary.js
2 0
babelsberg/rhea.js
An emscripten port of the Rhea solver (https://github.com/Nocte-/rhea)
Language:JavaScript