Babelsberg Implementations

babelsberg-s Public

Smalltalk 9 MIT 2 0 0 Updated Jan 31, 2018
babelsberg-rml Public
An RML implementation of Babelsberg's Natural Semantics

Ruby 2 BSD-3-Clause 1 0 0 Updated Oct 26, 2017
babelsberg-js Public

HTML 41 BSD-3-Clause 15 8 1 Updated Oct 26, 2017
babelsberg-r Public
A Ruby implementation of Babelsberg, based on Topaz. Main repo at

Python 19 BSD-3-Clause 87 1 0 Updated Jun 21, 2017
babelsberg.js Public

JavaScript 3 1 0 0 Updated Aug 1, 2016
dwarfcassowary.js Public

0 MIT 0 0 0 Updated Jun 27, 2016
relax.js Public
Sutherland's Relaxation, adapted from Alex' JS implementation

JavaScript 1 1 0 0 Updated Jun 13, 2016
rhea.js Public
An emscripten port of the Rhea solver (https://github.com/Nocte-/rhea)

JavaScript 0 0 0 0 Updated Jun 1, 2016
z3.js Public
Compilation script and wrapper for Z3 compiled through Emscripten

JavaScript 12 BSD-3-Clause 0 0 0 Updated May 27, 2016
backtalk.js Public
A port of the BackTalk finite domain solver to JavaScript

JavaScript 1 BSD-3-Clause 0 0 0 Updated May 27, 2016

Popular repositories