AmbientTea

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

af-assignment

Joining of view/click data streams using a sliding temporal window

coq-exercises

exercism-solutions

Solutions for Exercism training problems

haskall

Interpreter for simple imperative/functional programming language written in Haskell.

packages-chr

CHR: Leuven Constraint Handling Rules

prolog-chi

prolog-mini-interpreter

Small assignment interpreter

rdf-dsl

Type-safe DSL to work with RDF/OWL in Scala

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

swipl-devel

Main development repository

tapir

Declarative, type-safe web endpoints library