Institute for Complex Systems (ICS), Johannes Kepler University Linz (@ics-jku)
Guthub

ics-jku

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Org. Rank 114,048 (Top 37 %)
  • Registered over 3 years ago
  • Most used languages
    F*     16.7 %
    Rust
         16.7 %
    Assembly
         16.7 %
    Racket
         16.7 %
    C
         16.7 %
    Python
         16.7 %

Top repositories

1

wal

WAL enables programmable waveform analysis.
Python
121
star
2

epex-formal-rv32-model

A RISC-V RV32 model ready for SMT program synthesis.
C
10
star
3

goldcrest-microcode-verification

Verification of RISC-V microcode based on SUBLEQ
Racket
9
star
4

goldcrest-vp

A RISC-V VP with SUBLEQ microcode
Assembly
7
star
5

instruction-decoder

Rust
4
star
6

wal-cache-analysis

F*
1
star