☆47Apr 21, 2026Updated 3 months ago
Alternatives and similar repositories for asymptotics-perturbation-methods
Users that are interested in asymptotics-perturbation-methods are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes for M3M6 Methods of Mathematical Physics☆45Jul 20, 2020Updated 6 years ago
- A Julia package for computing discrete eigenvalues of second order ODEs☆33Apr 25, 2023Updated 3 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆39May 18, 2020Updated 6 years ago
- Example problems from the Dedalus methods paper.☆21May 12, 2020Updated 6 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python/numba code for manipulating time-dependent functions of spin-weighted spherical harmonics on future null infinity☆23Jul 14, 2026Updated last week
- Visualize the paper writing process through your Git commit history☆13Sep 7, 2021Updated 4 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆19Sep 3, 2024Updated last year
- Unified algorithm support for indexed .NET collections.☆12Mar 29, 2026Updated 3 months ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 3 months ago
- This is material written for the masterclass Numerical and Analytical Methods for Spatially-Extended Neurobiological Networks, held at th…☆20May 23, 2024Updated 2 years ago
- ☆12Sep 7, 2024Updated last year
- Multinomials for the Mathematical Components library.☆17Jul 13, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Set monad☆19Jun 11, 2023Updated 3 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37May 11, 2026Updated 2 months ago
- NRPyPN: Validated Post-Newtonian Expressions for Numerical Relativity☆12Oct 1, 2023Updated 2 years ago
- Matlab-based program to calculate gravity and gravity gradients due to irregularly shaped bodies☆11Apr 19, 2021Updated 5 years ago
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 4 years ago
- ☆16May 25, 2023Updated 3 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Apr 17, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Calculate oscillatory integrals using Julia☆10Jun 28, 2024Updated 2 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Crowd-sourced notes from Aaron Zimmerman's Phy 387M course Relativity 1. This course was taught in the Spring of 2020 at the University o…☆15Aug 31, 2020Updated 5 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Earthquake backprojection using regional networks☆10Sep 10, 2021Updated 4 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- My course in gravitational wave data analysis at a summer school in Copenhagen in 2017.☆26Nov 21, 2017Updated 8 years ago
- SAC2000 (Seismic Analysis Code for the third millennium) is a general purpose interactive program designed for the study of sequential si…☆12Jul 5, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tools for generating cubed sphere grids and solving partial differential equations on the sphere.☆15Jan 20, 2026Updated 6 months ago
- Orbital dynamics and waveforms for binary black-hole systems, in the post-Newtonian approximation☆17Updated this week
- Python code for generating and running "slimplectic" integrators (nonconservative variational integrators)☆20Feb 9, 2017Updated 9 years ago
- 2021 AGU Fall Meeting Presentation about PyGMT☆11Jul 10, 2022Updated 4 years ago
- The Eigentools package for Dedalus☆17Feb 20, 2025Updated last year
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 10 months ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year