A small Haskell/Clojure/Python/C++ Library of Special Relativity functions for length contraction, time dialation, spacetime interval, lorentz transformations and etc.
☆11Dec 12, 2016Updated 9 years ago
Alternatives and similar repositories for SpecialRel
Users that are interested in SpecialRel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- See effects of special relativity such as Terrell rotation, relativistic beaming and Doppler shift.☆15Apr 14, 2024Updated 2 years ago
- hegel notes☆13Jan 22, 2023Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated last year
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Learn pure math with agda☆16Oct 2, 2026Updated 2 weeks ago
- Supply Chain Query Tool☆13May 25, 2022Updated 4 years ago
- GNOME Shell extension shows tiny youtube realtime preview☆15Apr 9, 2017Updated 9 years ago
- Drag and drop images directly into markdown-mode emacs buffer☆24Dec 10, 2017Updated 8 years ago
- Pandoc filters for scientific writing☆18Jul 6, 2020Updated 6 years ago
- Helm Chart for deploying GUAC☆19Mar 9, 2026Updated 7 months ago
- ☆11Sep 20, 2020Updated 6 years ago
- A digital archive of category theory papers.☆36Jun 27, 2026Updated 3 months ago
- Sample code used for some youtube videos.☆16Jun 2, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- FFI bindings for OpenCV in Racket☆24Jun 7, 2017Updated 9 years ago
- Jupyter Notebooks that demonstrate SymPy's symbolic quantum mechanics package.☆71Oct 14, 2021Updated 5 years ago
- ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）☆10Jul 18, 2022Updated 4 years ago
- Official Repo for Z Unlocked Challenge 1!☆21Feb 17, 2022Updated 4 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Elisp library for reading .bib files☆41Dec 2, 2025Updated 10 months ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆14Feb 21, 2025Updated last year
- Yjs backed Plain Data Objects.☆13Jul 7, 2021Updated 5 years 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.
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- Automated journalism from data and time series analysis☆11Mar 7, 2016Updated 10 years ago
- TestStand Semiconductor Module Python API☆15May 13, 2026Updated 5 months ago
- Computer algebra package for quantum mechanics and photonic quantum networks☆84Dec 18, 2018Updated 7 years ago
- OpenRedukti is a C++ library for Interest Rate Swaps and Fras, supports bootstrapping of Interest Rate Curves, computing NPV and sensitiv…☆10Jul 28, 2023Updated 3 years ago
- Implementation of backward elimination algorithm used for dimensionality reduction for improving the performance of risk calculation in l…☆12Jul 25, 2018Updated 8 years ago
- Implementation of DiffDock: Diffusion Steps, Twists, and Turns for Molecular Docking☆13Jun 22, 2023Updated 3 years ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- Modeling and Analysis of Superconducting Quantum Circuits☆13Feb 22, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Language for musical creation.☆18Aug 20, 2023Updated 3 years ago
- ☆13Sep 14, 2026Updated last month
- Notes and exercises of Prof. Yiheng Lin's quantum mechanics course☆12Mar 17, 2022Updated 4 years ago
- FreeRTOS on the RP2040☆33Jun 22, 2024Updated 2 years ago
- Official implementation of spectrum bifurcation renormalization group(SBRG), which is suitable for quantum simulation on strong disordere…☆11Feb 23, 2021Updated 5 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆12May 21, 2018Updated 8 years ago
- Computes trajectories for evolutionary dynamics.☆15Oct 6, 2020Updated 6 years ago