stonebuddha's Stars
AUTOMATIC1111/stable-diffusion-webui
Stable Diffusion web UI
microsoft/monaco-editor
A browser based code editor
invoke-ai/InvokeAI
InvokeAI is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The solution offers an industry leading WebUI, supports terminal use through a CLI, and serves as the foundation for multiple commercial products.
bmaltais/kohya_ss
lucidrains/denoising-diffusion-pytorch
Implementation of Denoising Diffusion Probabilistic Model in Pytorch
polynote/polynote
A better notebook for Scala (and more)
suragnair/alpha-zero-general
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more
iree-org/iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
DominikDoom/a1111-sd-webui-tagcomplete
Booru style tag autocompletion for AUTOMATIC1111's Stable Diffusion web UI
qjcg/awesome-typst
Awesome Typst Links
GPflow/GPflow
Gaussian processes in TensorFlow
awesome-stable-diffusion/awesome-stable-diffusion
Curated list of awesome resources for the Stable Diffusion AI Model.
ninia/jep
Embed Python in Java
jonathan-laurent/AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
probtorch/probtorch
Probabilistic Torch is library for deep generative models that extends PyTorch
flux-rs/flux
Refinement Types for Rust
IntelLabs/bayesian-torch
A library for Bayesian neural network layers and uncertainty estimation in Deep Learning extending the core of PyTorch
locuslab/SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
EasyCrypt/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
morloc-project/morloc
A typed, polyglot, functional language
scallop-lang/scallop
Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
Unibeautify/sparser
A framework of various language parsers
probcomp/hfppl
Probabilistic programming with HuggingFace language models
coq-contribs/coq-in-coq
A formalisation of the Calculus of Constructions
Camaltra/this-is-not-real-aerial-imagery
Quizz App Using Custom Diffusion Model to create deep fake of Satelite Earth image
tgcsaba/GPSig
Bayesian Learning from Sequential Data using Gaussian Processes with Signature Covariances
AbductiveLearning/ABLkit
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
scikit-multiflow/streaming-datasets
A collection of data sets for stream learning.
gallais/typing-with-leftovers
Self-contained repository for the eponymous paper
zhiyunyao/pkuthss
LaTeX template for dissertations in Peking University