Visualising the spacetime geodesics of general relativity
☆223Mar 1, 2021Updated 5 years ago
Alternatives and similar repositories for GravityIsNotAForce
Users that are interested in GravityIsNotAForce are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Amrvis is a visualization package specifically designed to read and display output and profiling data from codes built on the AMReX frame…☆20May 5, 2026Updated 3 months ago
- N2O: Standard ML Application Server☆18Nov 6, 2021Updated 4 years ago
- This extension makes browsing for extensions easier at addons.mozilla.org. It fixes incorrect information about some extensions being not…☆10Apr 10, 2021Updated 5 years ago
- Add-on converter converts Firefox and Thunderbird extensions to work in SeaMonkey☆16Apr 2, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Shell Scripts Frontend Tool. Function library useful to build shell script frontends☆10Jun 16, 2020Updated 6 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- JNIEasy - Java Native Objects based on JNI☆10Aug 30, 2023Updated 2 years ago
- Path smoothing for vector valued input curves☆19Mar 3, 2026Updated 5 months ago
- jdtrace - a DTrace based tool for Java☆10May 17, 2016Updated 10 years ago
- Slack API package for Go projects with full RTM support. It includes a CLI to interact with the API via your terminal application and a c…☆10Dec 19, 2024Updated last year
- Kotlin/Native Standard Library (mirror)☆11Mar 2, 2022Updated 4 years ago
- ☆14Sep 2, 2020Updated 5 years ago
- ☆12Jul 17, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- demo projects for maven tutorials☆11Oct 9, 2014Updated 11 years ago
- ☆10Sep 13, 2019Updated 6 years ago
- ☆10Jul 13, 2026Updated last month
- QOI image codec for OCaml (unreleased)☆11Updated this week
- Updated SLIP/PPP via the venerable Slirp☆16Apr 20, 2025Updated last year
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Create streams of Elixir structs, maps with atom keys, and keyword lists from CSV/TSV data streams☆20Sep 8, 2019Updated 6 years ago
- ☆13Oct 2, 2020Updated 5 years ago
- Demo project to show how diKTat or KTlint rule-sets can fix style issues in your code.☆14Mar 28, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Helper framework to develop new Java 7 FileSystems☆12Nov 11, 2020Updated 5 years ago
- Storage device enumeration for Linux☆20May 9, 2024Updated 2 years ago
- three.js addon, to produce almost infinite many time-varying geometries / buffer geometries with polar / spherical coordinate functions☆13Jan 4, 2023Updated 3 years ago
- Semi-official reboot of Apache-Extras DMAKE (for AOO and others)☆12Mar 18, 2023Updated 3 years ago
- A Text User Interface library for the D Language☆16Apr 4, 2024Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 years ago
- Close Left & Close Right plugin for Netbeans IDE☆11Oct 30, 2025Updated 9 months ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Algorithm for generating contours in 2D.☆10Oct 16, 2021Updated 4 years ago
- A GitHub Action to check your code with diKTat☆10Dec 25, 2023Updated 2 years ago
- Commons, Tools, Helpers and Utils Library☆16May 31, 2026Updated 2 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated this week
- Coq formalizations and proofs of (data) structures and algorithms.☆48May 13, 2018Updated 8 years ago
- The warmest start to a cold email☆87Aug 2, 2024Updated 2 years ago
- SeaMonkey fork of pdf.js☆25May 8, 2021Updated 5 years ago