Popular repositories Loading

1. minibrass minibrass Public

   Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

   Jupyter Notebook 17 7

2. ssharp ssharp Public

   S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .…

   C# 10 11

3. flashix flashix Public

   Flashix: a verified file system for flash memory

   Scala 3 1

4. ecml22-grape ecml22-grape Public

   Code for the paper "A Recommendation System for CAD Assembly Modeling based on Graph Neural Networks" submitted to ECML 2022.

   Python 3

5. rtm-predictions rtm-predictions Public

   Code for the FlowFrontNet Paper; submitted to ECML 2020

   Python 2

6. decision-tree-learning-ecml decision-tree-learning-ecml Public

   2 2