mttk / AIclass

Related projects ⓘ

Alternatives and complementary repositories for AIclass

• PetarMihalj / cpack
  A competitive programming helper tool, which packages included libraries into a single file, suitable for online judges.
  ☆12Updated 3 years ago
• PetarMihalj / AGT
  A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my …
  ☆9Updated 3 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• pelillian / machine-learning-kd-diagnosis
  Diagnosing Kawasaki Disease using ML
  ☆10Updated 5 years ago
• hrishikeshshekhar / Q-Eye
  Baggage Screening Scanner for dangerous objects
  ☆11Updated 6 years ago
• rishikksh20 / CoaT-pytorch
  CoaT: Co-Scale Conv-Attentional Image Transformers
  ☆16Updated 3 years ago
• kuangliu / pytorch-metrics
  Accuracy, precision, recall, confusion matrix computation with batch updates
  ☆14Updated 4 years ago
• Lin-Zhipeng / CNN-RNN-A-Unified-Framework-for-Multi-label-Image-Classification
  Paper implementation
  ☆13Updated 3 years ago
• hangjoo / cartoonGAN_pytorch
  CartoonGAN implementation code with pytorch.
  ☆9Updated 3 years ago
• domingomery / defect-detection
  ☆15Updated 4 years ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆619Updated 2 months ago
• nexus-kgp / RCNN
  Recurrent Convolutional Neural Networks in PyTorch
  ☆7Updated 6 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆289Updated last year
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆905Updated 3 weeks ago
• agda / agda-categories
  A new Categories library for Agda
  ☆369Updated last week
• JetBrains / Arend
  The Arend Proof Assistant
  ☆694Updated this week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,372Updated this week
• suinleelab / cxr_adv
  Repository for the paper "An Adversarial Approach for the Robust Classification of Pneumonia from Chest Radiographs"
  ☆18Updated 4 years ago
• itu-devops / lecture_notes
  Material for the elective "DevOps, Software Evolution and Software Maintenance" at IT University of Copenhagen, spring 2023
  ☆70Updated 3 months ago
• luilui97 / DSPP
  ACCV2022 Source Code of paper "Feature Decoupled Knowledge Distillation via Spatial Pyramid Pooling"
  ☆11Updated last year
• falconjhc / MFU-Net
  MFU-Net
  ☆9Updated 4 years ago
• agis85 / spatial_factorisation
  ☆16Updated 5 years ago
• axruff / DeepLearning
  A collection of research papers, datasets and software on Deep Learning
  ☆26Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆450Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆291Updated 3 weeks ago
• Arnold-Jun / Fed-MUnet
  ☆11Updated 4 months ago
• maelfabien / NLP_Summer_School-2021_Speech_Tutorial
  ☆11Updated 3 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆350Updated last week
• tomwright01 / iowa_oct_analysis
  Analyse OCT files segmented using the iowa reference algorithm
  ☆17Updated 4 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,197Updated this week