Languages
Developers
Countries
Repos
Topics
Repos by rochus-keller
rochus-keller
/ repos
56 repos
«
1
2
...
6
»
Repo
Language
Stars
Rank
LeanQt
C++
558
4,330
Oberon
C++
427
5,558
CspChan
C
419
4,402
Smalltalk
C++
266
8,477
LjTools
C++
256
8,774
VerilogCreator
C++
163
12,760
CrossLine
C++
145
14,095
LeanCreator
C++
122
16,200
OberonSystem3
Modula-2
83
4
BUSY
C
80
17,003