Skip to content

@formal-methods-mpi formal-methods-mpi

Change the repository type filter

All

    Repositories list

    4 repositories

    • Workshop.jl

      Public
      TeX
      •
      Creative Commons Zero v1.0 Universal
      •1•1•10•1•Updated Dec 25, 2024Dec 25, 2024

    • Taxonomy.jl

      Public
      Develop a Taxonomy of SEM
      Julia
      •
      MIT License
      •2•2•20•1•Updated May 15, 2024May 15, 2024

    • MinervasArchive

      Public
      A Langchain app that allows you to chat with a predefined Dataset
      Python
      •
      MIT License
      •1k•0•0•0•Updated Sep 28, 2023Sep 28, 2023

    • OSC-Open-Research-Summer-School-2023

      Public
      SCSS
      •4•0•0•0•Updated Apr 5, 2023Apr 5, 2023