My notes from Theoretical Minimum Lectures
☆17Mar 8, 2025Updated last year
Alternatives and similar repositories for tm
Users that are interested in tm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- davidson iterative diagonalizer☆12Jun 30, 2021Updated 4 years ago
- a python package for reduced density matrix techniques☆16Sep 4, 2020Updated 5 years ago
- AlphaCrytal: Contact map based deep learning algorithm for crystal structure prediction☆11Aug 18, 2023Updated 2 years ago
- Tensor package with focus in low rank approximations.☆13Apr 24, 2024Updated last year
- An LLM system for the ultra-accurate (TPR=98.8%) prediction of the synthesizability and precursors of crystal structures☆39Mar 13, 2025Updated last year
- parallel einsum products of 2 tensors☆27Dec 29, 2019Updated 6 years ago
- Material of the seminar "Julia for Materials Modelling"☆30Jun 23, 2023Updated 2 years ago
- do the Fourier transform using the method of Padé approximants☆23Nov 4, 2024Updated last year
- ☆25Jan 5, 2026Updated 2 months ago
- A C++ library for evaluating non-orthogonal matrix elements in electronic structure☆28Feb 19, 2025Updated last year
- Correlation consistent Gaussian basis sets for solids☆25May 31, 2025Updated 9 months ago
- Package to handle integrals over Gaussian-type atomic orbitals.☆32Feb 11, 2026Updated last month
- AudioSR-Upsampling (any -> 48kHz)☆42Feb 13, 2024Updated 2 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Coupled-cluster package written in Python.☆48Nov 17, 2025Updated 4 months ago
- ☆48Updated this week
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Wraps libopus in dart, and additionally provides a dart friendly API for encoding and decoding☆16Jul 21, 2024Updated last year
- ☆15Jan 30, 2025Updated last year
- ☆13Dec 25, 2023Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- ☆14Updated this week
- Modern and elegant test framework for Flutter, inspired by Cypress☆18May 4, 2022Updated 3 years ago
- ☆11Jun 4, 2021Updated 4 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- ChatGPT plugin for theorem proving in Lean☆123Apr 4, 2024Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Updated this week
- A simple containerized application manage system like Kubernetes, but written in Rust☆19Jun 25, 2022Updated 3 years ago
- do a simple closed shell Hartree-Fock using McMurchie-Davidson to compute integrals☆86Jun 8, 2024Updated last year
- ☆20Jan 24, 2023Updated 3 years ago
- A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions☆102Aug 8, 2018Updated 7 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- ☆30Aug 16, 2024Updated last year
- ☆15Dec 5, 2020Updated 5 years ago
- Efficient parallel quantum chemistry DMRG in MPO formalism☆104Updated this week
- CS168 Project 1: Routing☆13Feb 17, 2020Updated 6 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- ☆27Feb 3, 2026Updated last month
- ☆27Dec 23, 2022Updated 3 years ago