Pinned Loading

1. iGossip iGossip Public

   iGossip is a social platform specifically designed for students who are interested in the courses their universities are offering. With the support of iGossip, students can have easy access to comm…

   JavaScript 1 2

2. scheme-semantics scheme-semantics Public

   Forked from wenhaosu/scheme-semantics

   Semantics of Scheme in K

   Scheme

3. k k Public

   Forked from runtimeverification/k

   K Framework Tools 5.0

   Java

4. dockerfile dockerfile Public

   Save docker files

   Shell

5. pointnet pointnet Public

   Forked from charlesq34/pointnet

   PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation

   Python

6. generate_tinc generate_tinc Public

   Generate tinc config files

   Python