Pierre Talbot

oak. A typed parser generator embedded in Rust code for Parsing Expression Grammars

pcp. Constraint programming in Rust

expected. What did you expect?

turbo. A constraint solver purely on GPUs (CUDA)

intervallum. Integer interval arithmetic library

std-expected-proposal. Proposal for the expected class.

bonsai. Programming language based on the synchronous and constraint paradigms

kobe-scheduling. Data sets for the resource-constrained project scheduling problem (RCPSP)

AbSolute. Constraint solver based on abstract interpretation

nominal-workbench. A prototype tool for experimenting nominal rewrite systems

neev. Event-driven networking library on top of Boost.Asio

lattice-theory-parallel-programming-uni.lu. Exercise for the course Lattice Theory for Parallel Programming @University of Luxembourg

gcollections. Generic Rust Collection

trilean. Three-valued logics in Rust

gpu-programming-uni.lu. Exercise for the course GPU Programming @ University of Luxembourg

bonsai-model-checking. Model-checking using the Bonsai language

lol2D. Java

absolute-demo. Demo and examples of the AbSolute constraint solver.

chatroom. Java

lab1-introduction-ocaml. OCaml

DigitalSelf. Python

Scheme-in-Python. Continuation passing style Scheme interpreter written in Python.

checkdigit. Checkdigit validator/generator library aimed to be proposed in Boost

online-broker. JavaScript