Projects in Awesome Lists tagged with qed
A curated list of projects in awesome lists tagged with qed .
https://github.com/lucacappelletti94/lectures-notes
My latex notes on whatever I'm studying. All are available to the public, but please take them with a grain of salt and notify me in case of errors :)
latex mechanics notes operations-research polimi qed unimi
Last synced: 08 Apr 2025
https://github.com/aspirincode/ippigan
De novo molecular design with deep molecular generative models for protein-protein interaction(PPI) inhibitors
deep-molecular-generative-models drug-discovery drug-likeness ppi ppi-inhibitor protein-protein-interaction qed qeppi
Last synced: 01 Dec 2024
https://github.com/aspirincode/genippi
Interface-aware molecular generative framework for protein-protein interaction modulators
cwgan-gp drug-design genippi gnns molecular-generative-models protein-protein-interaction protein-protein-interface qed qeppi
Last synced: 01 Dec 2024
https://github.com/aspirincode/drugai_drug-likeness
Drug-Likeness
drug-likeness lipinski qed qeppi ro3 ro5
Last synced: 01 Dec 2024
https://github.com/harshavardhana/qed
QED is a multi-screen projector system written in Javascript.
beamer javascript pdf pdf-viewer projector qed websocket
Last synced: 24 Apr 2025
https://github.com/aspirincode/diffiupac
Diffusion-based generative drug-like molecular editing with chemical natural language
diffiupac diffusion-models iupac qed qeppi transformer
Last synced: 01 Dec 2024
https://github.com/aspirincode/drug-likeness_space
Explore drug-like space with deep generative models
Last synced: 01 Dec 2024
https://github.com/retr0kr0dy/qed
Basic Study of Quantum Electro Dynamic Propagation
electrodynamics qed quantum-mechanics simulation
Last synced: 10 Apr 2025
https://github.com/thimc/ed
go clone of ed, the standard UNIX text editor
ed line-oriented qed text-editor unix
Last synced: 04 Mar 2025
https://github.com/ewdlop/proof-assistance-note
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
4-color-theorem computer-assisted-proof coq fstar hott humanoid lean qed self-referential smt-solver syllogism type-theoretic-mathematics typescript water-proof
Last synced: 18 Feb 2025
