Matematisk ordliste
☆33May 18, 2026Updated last month
Alternatives and similar repositories for matematisk_ordliste
Users that are interested in matematisk_ordliste are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hjemmesiden til Linjeforeningen Nabla☆24Jun 6, 2026Updated 3 weeks ago
- ☆16Aug 2, 2023Updated 2 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆12May 30, 2026Updated last month
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated last year
- https://1000-plus.github.io/☆24Apr 15, 2026Updated 2 months 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.
- ☆14Jun 7, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Darcy scale image analysis toolbox☆13Jun 23, 2026Updated last week
- A package of FlightSims.jl family for ROS2.☆10Jan 17, 2022Updated 4 years ago
- Autonomous flight software created to control the Crew Dragon spacecraft in ISS Docking Simulator by SpaceX☆12May 30, 2020Updated 6 years ago
- Felles datakatalog☆11Sep 14, 2020Updated 5 years ago
- ☆44Apr 8, 2025Updated last year
- Let the AI fix your mistakes.☆18Apr 3, 2023Updated 3 years ago
- ☆17Jun 14, 2026Updated 2 weeks 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.
- Webpage for HC☆10May 13, 2026Updated last month
- Code examples for "Under the hood of calling C/C++ from Python"☆13Sep 16, 2020Updated 5 years ago
- A Python package for consistent mixed-dimensional discretizations in porous media☆14Updated this week
- Research Software Design by Example☆13Sep 7, 2025Updated 9 months ago
- A list of (detailed, non-stochastic) action potential models, with links to papers, source code, CellML and Myokit implementations☆12May 11, 2026Updated last month
- Docbook edition and translations of the book Free Culture by Lawrence Lessig☆23Feb 19, 2021Updated 5 years ago
- The list of known publications that use or cite the deal.II library.☆15Jun 24, 2026Updated last week
- ♾️ A library for universe levels and universe polymorphism☆41Jun 19, 2026Updated last week
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆22Jan 27, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple Planet Clone in Perl☆25Jun 22, 2026Updated last week
- An example repository to understand the basics of REUSE☆14Apr 28, 2024Updated 2 years ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated 2 years ago
- Nix build Scheduler☆11Nov 24, 2025Updated 7 months ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- Examples of pybind11 based projects (using cmake)☆12Nov 14, 2020Updated 5 years ago
- Biologically detailed neural network simulations and analysis API☆14Feb 26, 2025Updated last year
- A NLPModel API for optimization problems with PDE-constraints☆22Dec 14, 2024Updated last year
- Benchmarking physics-constrained data-driven models of hyperelasticity against rubber and soft tissue datasets☆16Jan 15, 2023Updated 3 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.
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 6 months ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- Finite Element Module for Julia that focusses on gradient-robust discretisations and multiphysics problems☆21Oct 28, 2024Updated last year
- Public JSON feed for job ads☆16Jan 21, 2025Updated last year
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- RBniCSx - reduced order modelling in FEniCSx☆12Jun 23, 2026Updated last week
- Javascript library for defining and solving DAE equations efficiently using WebAssembly☆16Sep 23, 2025Updated 9 months ago