Open-source keyboard firmware for Atmel AVR and Arm USB families

A formalization of geometry in Coq based on Tarski's axiom system

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

The user home repository for the Mathematics in Lean tutorial.

LLM verified with Monte Carlo Tree Search

State-of-the-art 2D and 3D Face Analysis Project

Public facing notes page

PyTorch implementation of the U-Net for image semantic segmentation with high quality images

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

🧑‍🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cycleg…

Planning to monitor wildfires with a fleet of UAVs

Repository for process simulators and related utilities to support various projects.

Linux kernel source tree

Label-Efficient Semantic Segmentation with Diffusion Models (ICLR'2022)

Deep Learning Models for Wildfire Danger Forecasting

Pytorch reimplementation of the Vision Transformer (An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale)

A PyTorch implementation of the Transformer model in "Attention is All You Need".

Repo for IoTDI 2021 paper: "milliEye: A Lightweight mmWave Radar and Camera Fusion System for Robust Object Detection".

End-to-End Object Detection with Transformers

MLP-Like Vision Permutator for Visual Recognition (PyTorch)

3D U-Net model for volumetric semantic segmentation written in pytorch

This repository includes the official project of TransUNet, presented in our paper: TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation.

美国大学备考资料 How to apply US colleges