Notes for "Applications of QFT to Geometry", UT Austin, fall 2017
☆12Aug 28, 2024Updated 2 years ago
Alternatives and similar repositories for qft-geometry
Users that are interested in qft-geometry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course notes for Ph229ab 2018: Conformal Field Theory☆41Oct 22, 2020Updated 6 years ago
- Lectures notes from Advanced QFT lecture series given by Dr. Tobias Osborne shared on Youtube: https://bit.ly/2Vqwb0t☆33Jul 7, 2023Updated 3 years ago
- A review article on conformal field theory☆20Mar 24, 2026Updated 7 months ago
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆23Sep 5, 2019Updated 7 years ago
- zref packages for LaTeX☆13Oct 15, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Convert Mathematica cells to TeX, retaining formatting.☆62Jan 14, 2019Updated 7 years ago
- Mathematical tools to use with amsmath☆67Oct 7, 2024Updated 2 years ago
- an example for setting up mocha & html-cov☆12Sep 19, 2012Updated 14 years ago
- JSBox Node.js example: browserify☆15Dec 10, 2019Updated 6 years ago
- bookmark package for LaTeX☆12Oct 17, 2026Updated 2 weeks ago
- Tools for computing spin-weighted spheroidal harmonics and their associated eigenvalues☆12Oct 7, 2026Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆35May 28, 2026Updated 5 months ago
- ☆12Jul 25, 2021Updated 5 years ago
- A program for rendering hexahedral meshes in the form of transparent volumes.☆15May 25, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Macaulay2 tap for Homebrew☆10Oct 11, 2026Updated 3 weeks ago
- We provide the Matlab Implementation of Sparse-BSOS described in Weisser, Lasserre, Toh: Sparse-BSOS: a bounded degree SOS hierarchy for …☆11Nov 13, 2017Updated 8 years ago
- ☆10Dec 3, 2019Updated 6 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- Slides for the tutorial talk on Bayesian Machine Learning at PyCon 2017☆10May 19, 2017Updated 9 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- The first superhuman generals.io bot, trained from scratch with self-play reinforcement learning.☆29Oct 10, 2026Updated 3 weeks ago
- JSBox Node.js example: ts-playground☆17Dec 10, 2019Updated 6 years ago
- DjVu support for zathura☆19Jul 18, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Massively Scalable Parallel GMRES C-code for Sparse System of Equations☆13Feb 16, 2016Updated 10 years ago
- A thesis model for FCUP thesis, especially for physics.☆20Dec 24, 2022Updated 3 years ago
- JSBox Node.js example: local-web-server☆20Dec 11, 2019Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- ☆14Sep 12, 2019Updated 7 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 5 months ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Grab the files for getting started with the Whoa Board here!☆13Jul 20, 2017Updated 9 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Highlight codes and demos with l3regex and lpeg☆18Mar 1, 2025Updated last year
- Material associated with Physics Report "Data science applications to string theory"☆12Jul 8, 2026Updated 3 months ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- A simple installer and packager for PySVN.☆16Apr 10, 2024Updated 2 years ago
- ☆12Oct 26, 2026Updated last week
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago