Skip to content

@babelsberg Babelsberg Implementations

Change the repository type filter

All

    Repositories list

    14 repositories

    • babelsberg-s

      Public
      Smalltalk
      •
      MIT License
      •2•10•0•0•Updated Jan 31, 2018Jan 31, 2018

    • babelsberg-rml

      Public
      An RML implementation of Babelsberg's Natural Semantics
      Ruby
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•0•0•Updated Oct 26, 2017Oct 26, 2017

    • babelsberg-js

      Public
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •16•45•8•1•Updated Oct 26, 2017Oct 26, 2017

    • babelsberg-r

      Public
      A Ruby implementation of Babelsberg, based on Topaz. Main repo at
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •84•19•1•0•Updated Jun 21, 2017Jun 21, 2017

    • babelsberg.js

      Public
      JavaScript
      •1•3•0•0•Updated Aug 1, 2016Aug 1, 2016

    • dwarfcassowary.js

      Public
      MIT License
      •0•0•0•0•Updated Jun 27, 2016Jun 27, 2016

    • relax.js

      Public
      Sutherland's Relaxation, adapted from Alex' JS implementation
      JavaScript
      •1•2•0•0•Updated Jun 13, 2016Jun 13, 2016

    • rhea.js

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

    • z3.js

      Public
      Compilation script and wrapper for Z3 compiled through Emscripten
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•12•0•0•Updated May 27, 2016May 27, 2016

    • backtalk.js

      Public
      A port of the BackTalk finite domain solver to JavaScript
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated May 27, 2016May 27, 2016

    • deltablue.js

      Public
      A fork of the V8 DeltaBlue solver for use in object constraint programming
      JavaScript
      •
      Other
      •1•1•0•0•Updated May 27, 2016May 27, 2016

    • skypyblue

      Public
      Implementation of the SkyBlue constraint solver in Python.
      Python
      •
      MIT License
      •3•1•0•0•Updated Aug 10, 2015Aug 10, 2015

    • pybelsberg

      Public
      A Python implementation of Babelsberg
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •3•7•0•0•Updated Aug 4, 2014Aug 4, 2014

    • babelsberg-k

      Public
      Ruby
      •0•0•0•0•Updated Jun 27, 2014Jun 27, 2014