tomooda/pyVDMC tomooda/pyVDMC

  • Stars
    star
    2
  • Language
    Python
  • License
    MIT License
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomooda/pyVDMC
github

tomooda

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

VDM-SL execution library using public/private VDMPad servers.

More Repositories

1

ViennaTalk

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Smalltalk
14
star
2

tekka

a modeless Japanese input method for Pharo Smalltalk
Smalltalk
12
star
3

Jun

3D graphics/geometry library with OpenGL rendering and chemoinformatics utilities
Smalltalk
11
star
4

PharoIM

InputMethod support for Pharo on headless VMs
Smalltalk
6
star
5

HoneyGinger

A SPH simulator with rich visualization and interactivity
Smalltalk
6
star
6

StarfallNight

a game
Smalltalk
5
star
7

PintGlas

Pharo Image Network Transfer as GLobal Access Service
Smalltalk
3
star
8

TypeLWidgets

Retro analog meter widgets for Pharo
Smalltalk
2
star
9

BlocEmoji

enable emoji on Bloc/Pharo
Smalltalk
2
star
10

gOLAP

a graph-based OLAP tool
Smalltalk
1
star
11

BlocIM

IM support for Bloc/Pharo
Smalltalk
1
star
12

Selphie

A simple window-wise/morph-wise screenshot maker for Pharo 12
Smalltalk
1
star
13

MicroMath

A simple math expression renderer for the microdown
Smalltalk
1
star