AI tools for Physlib
☆13Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for PhyslibAITools
Users that are interested in PhyslibAITools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jul 8, 2024Updated 2 years ago
- ☆15Updated this week
- Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"☆11Aug 11, 2025Updated last year
- TransitionListener is a python code for computing the gravitational wave background produced in cosmological phase transitions.☆14Updated this week
- ASCI Summer Research Lean☆10Oct 29, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Formalization of de Rham cohomologies of a smooth manifold☆10Jun 4, 2025Updated last year
- C++ implementation of the Diffusion Map, with Python bindings☆10Aug 22, 2017Updated 9 years ago
- A human-first, local-first library for saving and synchronizing useful links.☆14Updated this week
- Hardware-efficient learning of quantum many-body states. Code for simulating a U(1) lattice gauge theory and classifying topological orde…☆12Dec 8, 2022Updated 3 years ago
- ☆13Oct 23, 2022Updated 4 years ago
- A project to digitalise results from physics into Lean.☆825Updated this week
- A realtime subtitle client based on Soniox API or Gemini Live translation API with optional LLM translation refinement☆23Updated this week
- Julia package for simple iTEBD calculation.☆10Jun 10, 2026Updated 4 months ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.☆11Jun 26, 2026Updated 4 months ago
- A Mathematica package to perform numerical computations on quantum many body physics problems☆12Jul 5, 2020Updated 6 years ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- A formalization of Shannon's seminal 1948 paper defining entropy.☆17Mar 2, 2026Updated 8 months ago
- Lean formalizations of IMO problem statements☆37Apr 23, 2026Updated 6 months ago
- Drawing graphs and networks using plotly and graphviz☆13Dec 2, 2024Updated last year
- Lean playground for programming language modeling tooling.☆16May 20, 2026Updated 5 months ago
- simple itebd based on ITensor☆14Aug 31, 2017Updated 9 years ago
- Agent-driven testing toolkit: test skills via role-play and test project features via simulated users☆12Jun 23, 2026Updated 4 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.
- A quick ZX calculus library written in Rust☆95Updated this week
- A visual environment for creating and exploring multiple narrative pathways☆12Apr 3, 2025Updated last year
- Simple partially ordered sets for Julia☆10Jul 29, 2024Updated 2 years ago
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 3 weeks ago
- Mathematica package for evaluation of the bounce action with multiple scalar fields☆22May 4, 2020Updated 6 years ago
- CAPD library☆25Oct 18, 2026Updated 3 weeks ago
- [ICLR-2026 main track] ProofBridge is a unified framework that translates natural language theorems and proofs into Lean 4 using joint em…☆18Jul 18, 2026Updated 3 months ago
- A Lean 4 library for formal linguistics.☆32Updated this week
- PhaseTracer is a C++14 software package for tracing cosmological phases, finding potential phase transitions, computing the bounce action…☆22Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- One More Einsum Contraction Orders (OMECO). Rust version of OMEinsumContractionOrders.jl☆14Aug 25, 2026Updated 2 months ago
- Qsim, Qckt -- A functionally complete simulator for Universal Quantum Computer in Python. Qckt for developing quantum computation based r…☆16Oct 1, 2026Updated last month
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 6 months ago
- UEFI "Hello World"☆10Mar 10, 2023Updated 3 years ago
- The kernel for the Orion operating system☆14Mar 10, 2015Updated 11 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆18Updated this week
- CHIP-8 Interpreter for ZealOS.☆16Aug 15, 2022Updated 4 years ago