Skip to content
@babelsberg

Babelsberg Implementations

Popular repositories Loading

  1. babelsberg-js babelsberg-js Public

    HTML 45 16

  2. babelsberg-r babelsberg-r Public

    Forked from topazproject/topaz

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

    Python 19 2

  3. z3.js z3.js Public

    Compilation script and wrapper for Z3 compiled through Emscripten

    JavaScript 12

  4. babelsberg-s babelsberg-s Public

    Smalltalk 10 2

  5. pybelsberg pybelsberg Public

    Forked from Pybelsberg/pybelsberg

    A Python implementation of Babelsberg

    Python 7 2

  6. babelsberg.js babelsberg.js Public

    JavaScript 3 1

Repositories

Showing 10 of 14 repositories
  • babelsberg-s Public
    babelsberg/babelsberg-s’s past year of commit activity
    Smalltalk 10 MIT 2 0 0 Updated Jan 31, 2018
  • babelsberg-rml Public

    An RML implementation of Babelsberg's Natural Semantics

    babelsberg/babelsberg-rml’s past year of commit activity
    Ruby 2 BSD-3-Clause 1 0 0 Updated Oct 26, 2017
  • babelsberg-js Public
    babelsberg/babelsberg-js’s past year of commit activity
    HTML 45 BSD-3-Clause 16 8 1 Updated Oct 26, 2017
  • babelsberg-r Public Forked from topazproject/topaz

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

    babelsberg/babelsberg-r’s past year of commit activity
    Python 19 BSD-3-Clause 90 1 0 Updated Jun 21, 2017
  • babelsberg.js Public
    babelsberg/babelsberg.js’s past year of commit activity
    JavaScript 3 1 0 0 Updated Aug 1, 2016
  • dwarfcassowary.js Public
    babelsberg/dwarfcassowary.js’s past year of commit activity
    0 MIT 0 0 0 Updated Jun 27, 2016
  • relax.js Public

    Sutherland's Relaxation, adapted from Alex' JS implementation

    babelsberg/relax.js’s past year of commit activity
    JavaScript 2 1 0 0 Updated Jun 13, 2016
  • rhea.js Public

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

    babelsberg/rhea.js’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 1, 2016
  • z3.js Public

    Compilation script and wrapper for Z3 compiled through Emscripten

    babelsberg/z3.js’s past year of commit activity
    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

    babelsberg/backtalk.js’s past year of commit activity
    JavaScript 2 BSD-3-Clause 0 0 0 Updated May 27, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…