Lists (3)
Stars
Dataset used for WACV 2021 paper: "End-to-End Chinese Landscape Painting Creation Using Generative Adversarial Networks"
🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch and FLAX.
Official code for "DPM-Solver: A Fast ODE Solver for Diffusion Probabilistic Model Sampling in Around 10 Steps" (Neurips 2022 Oral)
Simulation-Based Adversarial Testing Framework for Autonomous Vehicles
Physics-informed learning of governing equations from scarce data
Implementation of the paper "Self-Adaptive Physics-Informed Neural Networks using a Soft Attention Mechanism" [AAAI-MLPS 2021]
A library for scientific machine learning and physics-informed learning
SURvivability Requirements Elicitation adn Assessment tooL
Python & Matlab code for local feature descriptor evaluation with the HPatches dataset.
Sample code to extract descriptors from the HPatches dataset.
翻墙-科学上网、自由上网、免费科学上网、免费翻墙、fanqiang、油管youtube/视频下载、软件、VPN、一键翻墙浏览器，vps一键搭建翻墙服务器脚本/教程，免费shadowsocks/ss/ssr/v2ray/goflyway账号/节点，翻墙梯子，电脑、手机、iOS、安卓、windows、Mac、Linux、路由器翻墙、科学上网、youtube视频下载、youtube油管镜像/免翻墙…
This may be the simplest implement of DDPM. You can directly run Main.py to train the UNet on CIFAR-10 dataset and see the amazing process of denoising.
Implementation of Denoising Diffusion Probabilistic Model in Pytorch
A latent text-to-image diffusion model
PyTorch implementation for Score-Based Generative Modeling through Stochastic Differential Equations (ICLR 2021, Oral)
Official code for Score-Based Generative Modeling through Stochastic Differential Equations (ICLR 2021, Oral)
PyTorch implementation for SDEdit: Image Synthesis and Editing with Stochastic Differential Equations
Python Version of F-16 Maneuver Verification Benchmark
A high-fidelity simulation model developed in Simulink that compatible with different types of multicopters.
Python bindings for the Coq interactive proof assistant
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
The Ott tool for writing definitions of programming languages and calculi
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]