Pinned Loading

1. accidents-as-anomaliesaccidents-as-anomaliesPublic

   Tries to predict whether an accident is fatal or not given environmental factors, using anomaly detection techniques. Work done on the kaggle dataset available at https://www.kaggle.com/daveianhick…

   Python

2. actor-gpi-v2actor-gpi-v2Public

   An actor library implemented using GPI, allowing communication with primitive types and vectors.

   C++

3. uva-solutionsuva-solutionsPublic

   Solutions for practice on the UVa online judge

   C++ 2

4. bert-practice-pytorchbert-practice-pytorchPublic

   Examples testing out BertForMaskedLM and BertForSequenceClassification. Uses dataset at https://archive.ics.uci.edu/ml/datasets/YouTube+Spam+Collection

   Python 4

5. sequent-solversequent-solverPublic

   Assignment for logic course, a sequent calculus solver with defined grammar

   Java

6. functional-data-structures-HWfunctional-data-structures-HWPublic

   Homework assignments for the course on functional data structures in TUM. Written in Isabelle/HOL.

   Isabelle 1