defunSM / SpecialRel
A small Haskell/Clojure/Python/C++ Library of Special Relativity functions for length contraction, time dialation, spacetime interval, lorentz transformations and etc.
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for SpecialRel
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated last month
- A specialised computer algebra system for topos theory.☆17Updated 4 months ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 5 years ago
- AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.☆8Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 3 months ago
- ACT community resources☆19Updated 5 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆17Updated 7 months ago
- A verified tensor library in Lean☆12Updated last week
- A short introduction to SageMath☆17Updated 11 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- ☆10Updated 4 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆16Updated 8 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Quantum Mechanics for Chemistry course at Iowa State University (Chem324)☆16Updated this week
- ☆23Updated 2 years ago
- Deposited packages of the homalg project☆12Updated this week
- Executable version of Functional Differential Geometry.☆30Updated 2 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- ☆14Updated last year
- Visual graph rewriting platform☆10Updated 7 months ago
- ☆10Updated last year
- This repo provides code and data to reproduce the results in the paper for "Electron Transfer Rules of Minerals under Pressure informed b…☆10Updated last year
- A growing, online "textbook" for music theory and aural skills☆26Updated 9 years ago
- Calculate allowed interactions in QED☆9Updated 2 years ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆17Updated 7 years ago