Repositories list

• ros2-library-project

  Public
  C++

  •

  GNU General Public License v3.0

  •0•1•1•0•Updated Feb 14, 2025Feb 14, 2025

• graph-statistics

  Public
  Java

  •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

• xc-processes

  Public
  C++

  •0•0•0•0•Updated Nov 12, 2024Nov 12, 2024

• process-management

  Public
  Asymptote

  •1•1•0•0•Updated Nov 6, 2024Nov 6, 2024

• slcs-optimisation

  Public
  Optimised implementations of the SLCS logic in FCPP

  C++

  •0•0•0•0•Updated Jun 25, 2024Jun 25, 2024

• oldnbr-evaluation

  Public
  Evaluation of odlnbr operator

  C++

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 23, 2024Apr 23, 2024

• coq-formalisation

  Public
  The formalisation in COQ of the XC language abstracting the FCPP semantics.

  Coq

  •1•0•0•0•Updated Oct 7, 2023Oct 7, 2023

• near-optimal-election

  Public
  Asymptote

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 11, 2022Jul 11, 2022

• warehouse-case-study

  Public
  C++

  •0•0•0•0•Updated May 8, 2022May 8, 2022

• hierarchical-collection

  Public
  C++

  •0•0•0•0•Updated Oct 25, 2021Oct 25, 2021

• room-users-control

  Public
  C++

  •0•0•0•0•Updated Oct 14, 2021Oct 14, 2021

• past-ctl-monitoring

  Public
  Asymptote

  •1•1•0•0•Updated Aug 24, 2021Aug 24, 2021

• monotonic-filtering-dynamics

  Public
  Evaluating Collection Dynamics with Monotonic Filtering

  Shell

  •1•0•0•0•Updated May 3, 2021May 3, 2021