An advanced orbital dynamics and n-body simulation program.
☆12Sep 5, 2023Updated 2 years ago
Alternatives and similar repositories for Python-Gravity-Simulation
Users that are interested in Python-Gravity-Simulation are comparing it to the libraries listed below
Sorting:
- A text file containing English words, along with the definition, parts of speech (noun,verb,adjective,etc.), and a link to the url where …☆13Apr 27, 2024Updated last year
- Unicode-only CJKV IDS data☆13Aug 9, 2024Updated last year
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- Determine the position, velocity, and orbit (in 3D) of satellite with given the initial vector (r0 &v0), using MATLAB☆12Dec 10, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 11 years ago
- A Python module for retrieving script types of writing systems including alphabets, abjads, abugidas, syllabaries, logographs, featurals …☆15Jul 19, 2024Updated last year
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 5 years ago
- dmenu is an efficient dynamic menu for X. This is a fork with added functionalities.☆10Sep 27, 2018Updated 7 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- feedback vertex set solver☆11Nov 1, 2018Updated 7 years ago
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 3 years ago
- Text to IPA converter in JavaScript. Uses code from https://github.com/surrsurus/text-to-ipa☆14Jul 14, 2024Updated last year
- A simple phonetic respelling for the English language☆10Dec 23, 2025Updated 2 months ago
- The algorithm to compute the force on a particle by using quadtree☆11Jan 12, 2016Updated 10 years ago
- Estimate the number of legal chess positions☆13Jan 14, 2021Updated 5 years ago
- The Bible has some issues. Let's make it better.☆72Oct 2, 2015Updated 10 years ago
- An application to improve your vocabulary☆11Nov 5, 2017Updated 8 years ago
- A repository of words in multiple languages sorted by their frequency☆12Sep 1, 2023Updated 2 years ago
- A simple shoot 'em ups style game using Rust's Bevy crate https://play.marcoinacio.com☆15Feb 25, 2024Updated 2 years ago
- Rates a password from 0-10 based on length and variying levels of complexity.☆12Sep 10, 2013Updated 12 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Python interface to GAP☆18Jun 7, 2024Updated last year
- A set of snippets to write LaTeX faster with VS Code.☆21Jan 4, 2026Updated 2 months ago
- Compare English corpora by measuring differences between common words.☆14Jan 6, 2023Updated 3 years ago
- complete works, plays, sonnets and poems of shakespeare☆18Jun 28, 2022Updated 3 years ago
- Qute: a dependency learning QBF solver.☆15Dec 19, 2025Updated 2 months ago
- A profanity ridden version of Brainfuck/Spacefuck☆16Jan 17, 2015Updated 11 years ago
- A python package that transparently handles physical quantities like 2 meters or `np.array([1, 2, 3]) Joule`☆21Oct 14, 2025Updated 4 months ago
- Convert numbers to number words☆25Jul 13, 2024Updated last year
- An English-Chinese dictionary, both cli and a node module.☆13Mar 20, 2019Updated 6 years ago
- A WebExtension for users of synchronized reading lists to add a Wikimedia wiki page from the browser.☆16Apr 23, 2020Updated 5 years ago
- Wikipedia Bilingual Reference Data (English)☆17Jun 17, 2016Updated 9 years ago
- MLPro - The Integrative Middleware Framework for Standardized Machine Learning in Python☆19Nov 6, 2025Updated 3 months ago
- A nicely typeset table of the 100 most common radicals in Chinese characters☆17May 2, 2021Updated 4 years ago
- A working quantum chessboard to demonstrate quantum phenomena!☆21Aug 11, 2022Updated 3 years ago