Angelos Charalambidis's repositories
parsec-prolog
A set of parsec combinators that parses ISO-Prolog programs
mhtransf-lar
Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records
Autolab
Course management service that enables auto-graded programming assignments.
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
lexicographic-lattice-structures
Theory of lexicographic lattices
mvc-swing-list-example
Example of using the MVC pattern with Swing in an application that manages a list
home-manager
Manage a user environment using Nix [maintainer=@rycee]
tensorflow
Computation using data flow graphs for scalable machine learning
yawebproxy
Yet another webproxy consisted of a forward proxy and a validate proxy in a distributed architecture