GeezerVison

GeezerVison is showing github.com — Babelsberg Implementations

Popular repositories Loading

babelsberg-js babelsberg-js Public

HTML 44 17
babelsberg-r babelsberg-r Public

Forked from topazproject/topaz

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

Python 19 2
babelsberg-s babelsberg-s Public

Smalltalk 12 2
z3.js z3.js Public

Compilation script and wrapper for Z3 compiled through Emscripten

JavaScript 12
pybelsberg pybelsberg Public

Forked from Pybelsberg/pybelsberg

A Python implementation of Babelsberg

Python 6 2
babelsberg.js babelsberg.js Public

JavaScript 3 1

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All HTML JavaScript Python Ruby Smalltalk

Sort

Last updated Name Stars

Showing 10 of 14 repositories

babelsberg-s Public

babelsberg/babelsberg-s's past year of commit activity

Smalltalk 12 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 44 BSD-3-Clause 17 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 91 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

People

Top languages

JavaScript Python Ruby Smalltalk HTML

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.