Babelsberg Implementations (babelsberg)

Babelsberg Implementations

babelsberg

Geek Repo

Github PK Tool:Github PK Tool

Babelsberg Implementations's repositories

Language:HTMLLicense:BSD-3-ClauseStargazers:45Issues:8Issues:11

babelsberg-r

A Ruby implementation of Babelsberg, based on Topaz. Main repo at

Language:PythonLicense:BSD-3-ClauseStargazers:19Issues:9Issues:1

z3.js

Compilation script and wrapper for Z3 compiled through Emscripten

Language:JavaScriptLicense:BSD-3-ClauseStargazers:12Issues:0Issues:0
Language:SmalltalkLicense:MITStargazers:10Issues:0Issues:0

pybelsberg

A Python implementation of Babelsberg

Language:PythonLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0
Language:JavaScriptStargazers:3Issues:0Issues:0

babelsberg-rml

An RML implementation of Babelsberg's Natural Semantics

Language:RubyLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

backtalk.js

A port of the BackTalk finite domain solver to JavaScript

Language:JavaScriptLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

relax.js

Sutherland's Relaxation, adapted from Alex' JS implementation

Language:JavaScriptStargazers:2Issues:0Issues:0

deltablue.js

A fork of the V8 DeltaBlue solver for use in object constraint programming

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0

skypyblue

Implementation of the SkyBlue constraint solver in Python.

Language:PythonLicense:MITStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

rhea.js

An emscripten port of the Rhea solver (https://github.com/Nocte-/rhea)

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0