Frost-group / LeadCopperApatiteView external linksLinks
Modelling the new Lead-Copper apatite proposed room temperature supeconductor
☆32Aug 8, 2023Updated 2 years ago
Alternatives and similar repositories for LeadCopperApatite
Users that are interested in LeadCopperApatite are comparing it to the libraries listed below
Sorting:
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- Superposition prover☆17Feb 16, 2023Updated 2 years ago
- This repository contains the source code for Bayesian Learned Interatomic Potentials (BLIP)☆30Aug 20, 2025Updated 5 months ago
- Plain-text declaration export for Lean 4☆22Feb 6, 2026Updated last week
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 5 months ago
- ☆16Jul 3, 2023Updated 2 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Jan 16, 2026Updated 3 weeks ago
- Generate data file for lammps using force field and a POSCAR (VASP) like input file.☆18Feb 19, 2016Updated 9 years ago
- A software for automating materials science computations☆33Oct 22, 2025Updated 3 months ago
- Material of the seminar "Julia for Materials Modelling"☆30Jun 23, 2023Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆41Jan 16, 2026Updated 3 weeks ago
- ☆38Mar 12, 2024Updated last year
- MatTen: Equivariant Graph Neural Nets for Tensorial Properties of Materials☆44Jan 28, 2026Updated 2 weeks ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Dec 3, 2025Updated 2 months ago
- Lean type-checker written in Scala.☆40Mar 13, 2022Updated 3 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Jan 3, 2025Updated last year
- A unified package for post-processing optical properties of point defects from first principles calculation.☆11Nov 10, 2025Updated 3 months ago
- A simple python/numpy script for calculating successive Brillouin zones of lattices.☆10Nov 20, 2016Updated 9 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- ☆11Feb 18, 2024Updated last year
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years ago
- Unofficial Knowledge Base for Novel AI☆15Nov 8, 2025Updated 3 months ago
- Totally Open Pressure Swing Adsorption Intensification Laboratory☆18Nov 2, 2025Updated 3 months ago
- Online resource for a practical course in machine learning for materials research at Imperial College London (MATE70026)☆131Feb 7, 2026Updated last week
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Simple framework for symbolic manipulation☆11Nov 6, 2024Updated last year
- MetamatBench: Integrating Heterogeneous Data, Computational Tools, and Visual Interface for Metamaterial Discovery☆16Jun 14, 2025Updated 8 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- RIESLING: Super-enhancer identification. (Rapid Identification of EnhancerS LInked to Nearby Genes)☆10Jun 28, 2018Updated 7 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- ☆10Aug 30, 2025Updated 5 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Program to determine the symmetry point group of a molecule (doesn't work with cubic groups).☆14May 18, 2018Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Realtime Extensions to PySCF (TDDFT etc.)☆11Sep 11, 2017Updated 8 years ago
- ☆44Mar 29, 2023Updated 2 years ago