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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hjemmesiden til Linjeforeningen Nabla☆24Feb 27, 2026Updated last month
- Parameterizing Mixing Links in Sparse Factors Works Better than Dot-Product Self-Attention (CVPR 2022)☆20Dec 22, 2022Updated 3 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- A matplotlib style sheet to help me spend less time editing figures for my manuscripts for Phys. Rev. D.☆30May 19, 2025Updated 10 months ago
- https://1000-plus.github.io/☆24Feb 11, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- Text and Image Linking Environment☆18Jul 26, 2011Updated 14 years ago
- Darcy scale image analysis toolbox☆12Updated this week
- Et alternativ til Nasjonalbibliotekets egen webleser.☆10Dec 4, 2018Updated 7 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 2 years ago
- Ray based map function for Deap with examples. Automatically batches iterator to multiple workers for many processors or clusters.☆16Jul 26, 2020Updated 5 years ago
- ☆44Apr 8, 2025Updated 11 months ago
- Introductory notes and templates for LaTeX☆40Aug 31, 2020Updated 5 years ago
- (Experimental but working) LightWeight Plot / Leland Wilkinson Plot -- a ggplot2 2.1.0 fork aiming for lighter weight☆15Jul 11, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆18Updated this week
- A Python package for consistent mixed-dimensional discretizations in porous media☆13Updated this week
- A list of (detailed, non-stochastic) action potential models, with links to papers, source code, CellML and Myokit implementations☆12Mar 16, 2026Updated 2 weeks ago
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- A tool for visualizing changes in ranked lists over time.☆22Nov 21, 2022Updated 3 years ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 4 months ago
- A simple pytest plugin for pinning tests☆10Feb 9, 2023Updated 3 years ago
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆20Jan 27, 2025Updated last year
- Extension of the R package "mirt" for publication-ready IRT figures.☆18Mar 3, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated last year
- A playground for evolutionary computation in Julia☆28Jan 10, 2026Updated 2 months 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
- ☆12Jan 19, 2026Updated 2 months ago
- 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
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- RBniCSx - reduced order modelling in FEniCSx☆12Mar 13, 2026Updated 2 weeks ago
- A Riks arclength solver implemented in FEniCS☆15Jan 8, 2026Updated 2 months ago
- Javascript library for defining and solving DAE equations efficiently using WebAssembly☆16Sep 23, 2025Updated 6 months ago
- ☆13Feb 13, 2026Updated last month