Nikolaos Dymitriadis's repositories
prolog-schemes
Optics and data transformation library for SWI Prolog
functional-prolog
Prolog macros for easy functional programming
latte-prolog-compiler
Compiler for a simple OO language with inheritance, written in SWI Prolog
5yearplan
Software to construct socialist 5 year plan
Language:TeXGPL-3.0000
af-assignment
Joining of view/click data streams using a sliding temporal window
exercism-solutions
Solutions for Exercism training problems
Language:Common Lisp000
packages-chr
CHR: Leuven Constraint Handling Rules
Language:Prolog000
prolog-mini-interpreter
Small assignment interpreter
scala-logic
Simple term unification in Scala
prolog-sudoku
sudoku solver
python-algorithms
Stuff I sometimes implement for fun
rust-delegate-trait
Low-boilerplate delegation for user-controlled traits
Language:Rust000
swipl-devel
Main development repository
Language:CNOASSERTION000
tapir
Declarative, type-safe web endpoints library
Language:ScalaApache-2.0000