☆44Apr 21, 2026Updated last month
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 5 years ago
- A Julia package for computing discrete eigenvalues of second order ODEs☆34Apr 25, 2023Updated 3 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆38May 18, 2020Updated 6 years ago
- Example problems from the Dedalus methods paper.☆21May 12, 2020Updated 6 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 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.
- Python/numba code for manipulating time-dependent functions of spin-weighted spherical harmonics on future null infinity☆23Apr 8, 2026Updated 2 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 2 months ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆19Sep 3, 2024Updated last year
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- ☆12Sep 7, 2024Updated last year
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated last month
- Modeling light transport in turbid media☆13Dec 3, 2023Updated 2 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37May 11, 2026Updated last month
- Calculate oscillatory integrals using Julia☆10Jun 28, 2024Updated last year
- 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 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
- 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
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A Julia package for integration of packages of Method of Moments (MoM) and Multi-level Fast Multipole Algorithm (MLFMA).☆15May 27, 2025Updated last year
- Earthquake backprojection using regional networks☆10Sep 10, 2021Updated 4 years ago
- My course in gravitational wave data analysis at a summer school in Copenhagen in 2017.☆26Nov 21, 2017Updated 8 years ago
- Python code for generating and running "slimplectic" integrators (nonconservative variational integrators)☆20Feb 9, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 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 3 years ago
- The Eigentools package for Dedalus☆17Feb 20, 2025Updated last year
- NRPyPN: Validated Post-Newtonian Expressions for Numerical Relativity☆12Oct 1, 2023Updated 2 years ago
- 2021 AGU Fall Meeting Presentation about PyGMT☆11Jul 10, 2022Updated 3 years ago
- Matlab-based program to calculate gravity and gravity gradients due to irregularly shaped bodies☆11Apr 19, 2021Updated 5 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Sep 15, 2021Updated 4 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- 3D parallel spectral element code for elastic wave propagation in random anisotropic medium☆10Apr 13, 2013Updated 13 years ago
- Frequency-Time ANalysis (FTAN) in python☆10Aug 18, 2020Updated 5 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆27May 6, 2026Updated last month
- Code for the study "Gravitational wave inference on a numerical-relativity simulation of a black hole merger beyond general relativity"☆11Jan 10, 2023Updated 3 years ago