cvrac

Christos Vrachas's repositories

Master Thesis text, University of Athens

Language:TeX9 20

Efficient shortest path queries over large static/dynamic graphs

Language:C++8 40

My solutions for the https://adventofcode.com

Language:Ruby2 20

Language:Prolog1 20

Language:CMIT1 20

Low level B+ Tree data index

Language:C020

Language:C030

Language:PythonMIT030

Abstract Interpretation of LLVM bitcode

Language:CApache-2.0020

020

Skroutz Girls Do Tech base repository

000

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMNOASSERTION020

Language:CMIT020

Multi-tenant and multilingual CMS created in the pandemic

Language:RubyMIT000

Ruby on Rails

Language:RubyMIT000

SeaHorn Verification Framework

Language:CNOASSERTION020