Konstantinos Triantafyllou's repositories
rust-callgraph-benchmark
A benchmark for Rust call-graph generators
popl-2016-as3
Support site for the third assignment of the Principles of Programming Languages course (UoA 2016)
auction-website
Auction website (final project - Technologies of Internet Applications at UoA)
dit-gpa-calculator
GPA calculator for the DIT of NKUA that works by downloading the student's exam history from the online university services.
eclipse-clp-programs
Various programs in the Eclipse Constraint Logic Programming System
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
formulog
Datalog with support for SMT queries
libraries-website
Library website (final project - Human - Computer Interaction at UoA)
rectangle-collision
An interactive visualization of colliding rectangles in HTML5 Canvas.
rust
Empowering everyone to build reliable and efficient software.
souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
untyped-lambda-interpreter
Untyped Lambda Calculus interpreter implemented in Haskell.