Stars
A Score-Only Adaptation of AlphaFold3 for Biomolecular Structure Evaluation
RFdiffusion to Genie2 converter for pdb formats
User friendly and accurate binder design pipeline
Lean 4 programming language and theorem prover
Relax! Flux is the ML library that doesn't make you tensor
MaSIF- Molecular surface interaction fingerprints. Geometric deep learning to decipher patterns in molecular surfaces.
A Learning Environment for Theorem Proving with the Coq proof assistant
Standardized data set for machine learning of protein structure
Inference of couplings in proteins and RNAs from sequence variation
Evolutionary couplings from protein and RNA sequence alignments
Perfectoid spaces in the Lean formal theorem prover.
PennyLane is a cross-platform Python library for quantum computing, quantum machine learning, and quantum chemistry. Built by researchers, for research.
The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for float…
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
Lean 3's obsolete mathematical components library: please use mathlib4
A correctly-rounded arbitrary precision decimal floating point arithmetic library
An extension for VS Code which provides support for the Nim language.
A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends