A small Haskell/Clojure/Python/C++ Library of Special Relativity functions for length contraction, time dialation, spacetime interval, lorentz transformations and etc.
☆12Dec 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:
- 🚀 Aviator Predictor — unlock the secret behind every flight! This powerful app analyzes patterns and predicts the best moments to act, h…☆36Apr 14, 2026Updated 6 months ago
- 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
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- This Repository will be used by the Concordia Shanghai Swarm Team Club to share & work on different programs for the DJI TT Swarm Kit☆11Dec 19, 2021Updated 4 years ago
- Learn pure math with agda☆16Oct 2, 2026Updated last month
- Hakyll utilities to work with images☆20Apr 30, 2026Updated 6 months 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
- Supply Chain Query Tool☆13May 25, 2022Updated 4 years ago
- Date of Concorde In January of the year 1976 after 29 years of the first to penetrate to the speed of sound military aircraft jet - Two C…☆11Feb 11, 2017Updated 9 years ago
- Pandoc filters for scientific writing☆18Jul 6, 2020Updated 6 years ago
- 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.
- Partially clickable cockpits for GeoFS aircraft!☆14Aug 21, 2023Updated 3 years ago
- Helm Chart for deploying GUAC☆19Mar 9, 2026Updated 7 months ago
- FFI bindings for OpenCV in Racket☆24Jun 7, 2017Updated 9 years ago
- ☆11Sep 20, 2020Updated 6 years ago
- Real-time airspace surveillance, orbital tracking, and spatial-temporal anomaly detection over live multi-source ADS-B data. Django/Chann…☆24Aug 9, 2026Updated 2 months ago
- A digital archive of category theory papers.☆37Jun 27, 2026Updated 4 months ago
- Plugin orientated pocketbase build☆13Mar 19, 2023Updated 3 years ago
- Sample code used for some youtube videos.☆16Jun 2, 2022Updated 4 years ago
- TypeScript AI SDK and agent framework with zero dependencies. Build production AI agents and multi-agent swarms: durable execution, long-…☆508Oct 16, 2026Updated 3 weeks 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.
- Official Repo for Z Unlocked Challenge 1!☆21Feb 17, 2022Updated 4 years ago
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- Jupyter Notebooks that demonstrate SymPy's symbolic quantum mechanics package.☆71Oct 14, 2021Updated 5 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 4 years ago
- Turn-based strategy game / agent-based simulation framework / social model in 4D relativistic spacetime☆29Feb 5, 2024Updated 2 years ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- A fault-tolerant distributed message queue system inspired by Kafka, with priority messaging, replication, and real-time monitoring.☆14Aug 15, 2025Updated last year
- Yjs backed Plain Data Objects.☆13Jul 7, 2021Updated 5 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.
- Implementation of backward elimination algorithm used for dimensionality reduction for improving the performance of risk calculation in l…☆12Jul 25, 2018Updated 8 years ago
- Smallest basic brainfuck interpreter written in Python 3 (166 bytes).☆13Jan 22, 2024Updated 2 years ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆15May 2, 2025Updated last year
- Elisp library for reading .bib files☆41Dec 2, 2025Updated 11 months ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆12May 21, 2018Updated 8 years ago
- QBitcoin is a quantum-resistant blockchain built from scratch using Falcon-512. Designed to secure digital assets in the post-quantum er…☆13Updated this week
- TestStand Semiconductor Module Python API☆15May 13, 2026Updated 5 months ago