-
Astron Informatics Ltd.
- in/barnab%C3%A1s-zahor%C3%A1n-69829a29b
Block or Report
Block or report Seeker04
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
elte-ik-cpp
elte-ik-cpp PublicA collection of lecture materials I have written (in Hungarian!) for C++ classes at ELTE-IK.
-
-
stlc-agda-elab
stlc-agda-elab PublicAgda formalisation of an elaborator for a simply typed language
Agda
-
-
CodeCompass
CodeCompass PublicForked from Ericsson/CodeCompass
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.