Pinned Repositories
99-prolog-problems
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
jacobi-svd-evd
n-body-problem
popl-2016-as3
Support site for the third assignment of the Principles of Programming Languages course (UoA 2016)
rust-callgraph-benchmark
A benchmark for Rust call-graph generators
rust-callgraphs
SimpleGameEngine
ktrianta's Repositories
ktrianta/rust-callgraph-benchmark
A benchmark for Rust call-graph generators
ktrianta/rust-callgraphs
ktrianta/jacobi-svd-evd
ktrianta/n-body-problem
ktrianta/popl-2016-as3
Support site for the third assignment of the Principles of Programming Languages course (UoA 2016)
ktrianta/SimpleGameEngine
ktrianta/99-prolog-problems
ktrianta/auction-website
Auction website (final project - Technologies of Internet Applications at UoA)
ktrianta/dit-gpa-calculator
GPA calculator for the DIT of NKUA that works by downloading the student's exam history from the online university services.
ktrianta/eclipse-clp-programs
Various programs in the Eclipse Constraint Logic Programming System
ktrianta/eigen
Git mirror of the official Eigen's repository -- PULL REQUEST MUST BE SENT TO: https://bitbucket.org/eigen/eigen
ktrianta/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
ktrianta/formulog
Datalog with support for SMT queries
ktrianta/libraries-website
Library website (final project - Human - Computer Interaction at UoA)
ktrianta/rectangle-collision
An interactive visualization of colliding rectangles in HTML5 Canvas.
ktrianta/rust
Empowering everyone to build reliable and efficient software.
ktrianta/rustql
Tool for semantic querying of Rust code.
ktrianta/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.
ktrianta/untyped-lambda-interpreter
Untyped Lambda Calculus interpreter implemented in Haskell.