SAnToS Laboratory (@santoslab)
Guthub

santoslab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Org. Rank 141,477 (Top 45 %)
  • Registered over 11 years ago
  • Most used languages
    C
         37.5 %
    HTML
         25.0 %
    Scala
         25.0 %
    Isabelle     12.5 %
  • Location 🇺🇸 United States
  • Country Total Rank 166,811
  • Country Ranking
    Isabelle     11
    Scala
         2,718

Top repositories

1

aadl-translator

HTML
5
star
2

hamr-examples

Scala
1
star
3

case-uav-phase2

Copy of phase 2 model from loonwerks repo that adds code metrics to the readme
C
1
star
4

aadl-map-apps

1
star
5

has-pca

1
star
6

AADL-HSM

Formal semantics of AADL (as implemented by HAMR) in the Isabelle theorem prover
Isabelle
1
star
7

iccps20-case-studies

Scala
1
star
8

rts-showcase

C
1
star
9

embedded-examples

C
1
star
10

gh-pages-robby

HTML
1
star
11

sysmlv2-models

1
star