ktrianta Goto Github PK

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

eigen

Git mirror of the official Eigen's repository -- PULL REQUEST MUST BE SENT TO: https://bitbucket.org/eigen/eigen

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

formulog

Datalog with support for SMT queries

jacobi-svd-evd

libraries-website

Library website (final project - Human - Computer Interaction at UoA)

n-body-problem

popl-2016-as3

Support site for the third assignment of the Principles of Programming Languages course (UoA 2016)

rectangle-collision

An interactive visualization of colliding rectangles in HTML5 Canvas.

rust

Empowering everyone to build reliable and efficient software.

rust-callgraph-benchmark

A benchmark for Rust call-graph generators

rust-callgraphs

rustql

Tool for semantic querying of Rust code.

simplegameengine

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.