Pinned

1. seasoncalendar/seasoncalendar seasoncalendar/seasoncalendar Public

   A seasonal foods calendar app for a conscious and sustainable diet.

   Dart 73 10

2. gym-autokey gym-autokey Public

   An OpenAI gym environment for automated rule-based deductive program verification in KeY.

   Java 7

3. AIS-Bonn/vp-suite AIS-Bonn/vp-suite Public

   A general framework for video prediction in PyTorch.

   Python 23 9

4. AIS-Bonn/sl-scenes AIS-Bonn/sl-scenes Public

   An easy-to-use extension framework for stillleben that generates realistic and visually diverse indoor scenes with physically interacting objects

   Python 4

5. Differentiable 2-Wasserstein Distanc... Differentiable 2-Wasserstein Distance in PyTorch

   1

   import math

   2

   import torch

   3

   import torch.linalg as linalg

   4

   5

   def calculate_2_wasserstein_dist(X, Y):

6. DataLoader for pytorch-geometric-tem... DataLoader for pytorch-geometric-temporal (direct extension of the loader from pytorch-geometric)

   1

   from typing import Union, List, Optional

   2

   3

   from collections.abc import Mapping, Sequence

   4

   5

   import torch.utils.data