Giters
scj-devel

scj-devel

Geek Repo

Collection of repositories for safety-critical Java development

Home Page:https://github.com/scj-devel/doc/blob/master/README.md

Github PK Tool:Github PK Tool

scj-devel's repositories

hvm-scj

The HVM SCJ implementation

Language:JavaStargazers:4Issues:12Issues:0

doc

Collection of SCJ related documents

Stargazers:3Issues:8Issues:0

apps

SCJ example programs and benchmarks

Language:JavaStargazers:1Issues:8Issues:0

tck

The TCK for Safety-Critical Java (JSR 302)

Stargazers:1Issues:5Issues:0

testsuite-jml

A JML specification based test suite for SCJ

Language:JavaStargazers:0Issues:12Issues:0

tools

Static analysis tools or other tools to aid in development of SCJ software.

Language:CSSStargazers:0Issues:10Issues:0