Matematisk ordliste
☆33Feb 5, 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
Sorting:
- Dette scriptet konverterer norgeskart fra genorge i UTM-33 projeksjon til EPSG:3857 som Google og Leaflet bruker☆13Jan 12, 2024Updated 2 years ago
- Parameterizing Mixing Links in Sparse Factors Works Better than Dot-Product Self-Attention (CVPR 2022)☆20Dec 22, 2022Updated 3 years ago
- Darcy scale image analysis toolbox☆12Updated this week
- ☆11Sep 27, 2023Updated 2 years ago
- Parse data and generate plotting scripts based on plotly.☆11Dec 8, 2025Updated 3 months ago
- A package of FlightSims.jl family for ROS2.☆10Jan 17, 2022Updated 4 years ago
- A simple pytest plugin for pinning tests☆10Feb 9, 2023Updated 3 years ago
- A list of (detailed, non-stochastic) action potential models, with links to papers, source code, CellML and Myokit implementations☆11Feb 24, 2026Updated last week
- 🐝Apiary: The Data API for RRCHNM☆10Feb 17, 2026Updated 2 weeks ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- Felles datakatalog☆11Sep 14, 2020Updated 5 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago
- ☆13Feb 13, 2026Updated 3 weeks ago
- Nix build Scheduler☆11Nov 24, 2025Updated 3 months ago
- Biologically detailed neural network simulations and analysis API☆14Feb 26, 2025Updated last year
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 2 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- A Python package for consistent mixed-dimensional discretizations in porous media☆13Updated this week
- RBniCSx - reduced order modelling in FEniCSx☆12Feb 15, 2026Updated 3 weeks ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Research Software Design by Example☆13Sep 7, 2025Updated 6 months ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- Optimisation on Diffeomorphisms☆12Feb 17, 2025Updated last year
- Examples of pybind11 based projects (using cmake)☆12Nov 14, 2020Updated 5 years ago
- An Interactive Force Directed Graph in D3.js☆46Feb 1, 2015Updated 11 years ago
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- Docbook edition and translations of the book Free Culture by Lawrence Lessig☆22Feb 19, 2021Updated 5 years ago
- Experiments on Aider Extensions☆13Feb 2, 2025Updated last year
- An example repository to understand the basics of REUSE☆13Apr 28, 2024Updated last year
- A nixy way to install Native Instruments plugins using wine☆14Nov 6, 2023Updated 2 years ago
- A Riks arclength solver implemented in FEniCS☆14Jan 8, 2026Updated 2 months ago
- ELMO Schemas☆14Feb 12, 2026Updated 3 weeks ago
- ☆17Feb 6, 2018Updated 8 years ago
- Lecture series on From magnetic resonance imaging to finite element simulation☆18Nov 8, 2022Updated 3 years ago
- IR-Tree Modeling in mirt, Mplus, or TAM☆12Nov 2, 2020Updated 5 years ago