Repositories list

• trieste-while

  Public
  Trieste development of the While language

  C++

  •1•0•0•0•Updated Aug 23, 2025Aug 23, 2025

• frankenscript

  Public
  A tool to explore and visualize region-based ownership in dynamic programming languages.

  C++

  •

  MIT License

  •1•10•8•4•Updated Aug 5, 2025Aug 5, 2025

• gitmem

  Public
  C++

  •2•0•0•0•Updated Jul 1, 2025Jul 1, 2025

• trieste-miniml

  Public
  Trieste implementation of MiniML with type inference

  C++

  •1•0•0•0•Updated Apr 10, 2025Apr 10, 2025

• stainless-tutorial

  Public
  Scala

  •0•0•0•0•Updated Apr 4, 2025Apr 4, 2025

• harbour

  Public
  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

• pf

  Public
  A LaTeX package for doing proof by cases

  TeX

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• notebooks

  Public
  Java

  •1•1•0•1•Updated Apr 27, 2021Apr 27, 2021

• marielund

  Public
  Compute kernel for stencil applications in C++ and Java

  C++

  •0•0•0•0•Updated Apr 27, 2021Apr 27, 2021