Calculate the groundstate energy of 1D and 2D Fermi-Hubbard model on the GPU with Cuda.
☆14Aug 30, 2017Updated 8 years ago
Alternatives and similar repositories for Hubbard-GPU
Users that are interested in Hubbard-GPU are comparing it to the libraries listed below
Sorting:
- Code repository for the ITensor based Open DMRG algorithm.☆16May 16, 2023Updated 2 years ago
- A Julia code for performing exact diagonalization of fractional quantum Hall systems☆30May 10, 2018Updated 7 years ago
- NRG Ljubljana is a numerical renormalization group implementation for solving quantum impurity problems in theoretical physics☆34Feb 20, 2026Updated last week
- Exact diagonalization of Fermi-Hubbard and spin models on a lattice☆11Apr 17, 2024Updated last year
- Time evolution algorithms for matrix-product states based on ITensors.jl☆35May 16, 2022Updated 3 years ago
- A little library for keyboard binding.☆10Oct 14, 2016Updated 9 years ago
- ☆10Jan 16, 2025Updated last year
- Victory is an efficient implantation of the Parquet equation for the single-band Hubbard model.☆14Aug 30, 2020Updated 5 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- An Introduction to Computer Simulation Methods☆10Apr 11, 2015Updated 10 years ago
- مختصات جغرافیایی مرزهای استان های ایران به صورت عددی و نمایشی و امکان انتخاب موقعیت ه ای جغرافیایی تصادفی در هر استان دلخواه☆13Sep 18, 2016Updated 9 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Utilities for use in codes for the simulation of strongly correlated electrons☆11Nov 17, 2025Updated 3 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Solving two-dimensional spin models with tensor networks (powered by PyTorch)☆98Feb 1, 2026Updated last month
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- Simulating the fractional quantum Hall effect with neural network variational Monte Carlo☆20Sep 12, 2025Updated 5 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Resources for topological insulator calculations☆15Jul 8, 2015Updated 10 years ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- Julia package for simple iTEBD calculation.☆11May 20, 2025Updated 9 months ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- A layout modifier that makes window-window spacing equal to window-edge spacing.☆16Jul 18, 2016Updated 9 years ago
- ☆12Dec 9, 2022Updated 3 years ago
- Lecture notes on Quantum Chaos (NJSF031)☆12Feb 23, 2026Updated last week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- ☆10Oct 24, 2019Updated 6 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago