Popular repositories Loading

1. configuration configuration Public

   Forked from openedx-unsupported/configuration

   A simple, but flexible, way for anyone to stand up an instance of the Open edX platform that is fully configured and ready-to-go

   Python

2. P3_Report P3_Report Public

   Forked from msoumyakant14/P3_Report

   TeX

3. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

4. DesignDriverSoC DesignDriverSoC Public

   Forked from pramodsu/DesignDriverSoC

   Design Driver SoC for Verification Project

   Verilog

5. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

6. STEm-Seg STEm-Seg Public

   Forked from sabarim/STEm-Seg

   This repository contains the official implementation of the paper "STEm-Seg: Spatio-temporal Embeddings for Instance Segmentation in Videos"

   Python