Matematisk ordliste
☆33May 13, 2026Updated last week
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 2 months ago
- ☆16Aug 2, 2023Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 11 months ago
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago
- ☆14Jun 7, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CommonCrawl keyword scanner. Time for month of CC data on EC2 c5.18xlarge instance for hundreds of keywords takes about 3 hours. LLM (BER…☆15Apr 1, 2023Updated 3 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Discretization methods for porous media flow problems.☆12Jan 10, 2023Updated 3 years ago
- Text and Image Linking Environment☆18Jul 26, 2011Updated 14 years ago
- Autonomous flight software created to control the Crew Dragon spacecraft in ISS Docking Simulator by SpaceX☆12May 30, 2020Updated 5 years ago
- This module includes Item Statistics, Model fit, Differential Item Functioning, Wright Map, Expected Scores Curve,and Item Characteristic…☆10May 8, 2026Updated last week
- Let the AI fix your mistakes.☆18Apr 3, 2023Updated 3 years ago
- ☆18May 4, 2026Updated 2 weeks ago
- A Python package for consistent mixed-dimensional discretizations in porous media☆14Updated this week
- 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.
- ☆16Feb 17, 2026Updated 3 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 week
- The list of known publications that use or cite the deal.II library.☆15Updated this week
- 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☆40Apr 6, 2026Updated last month
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆22Jan 27, 2025Updated last year
- A simple Julia project to understand how weakdeps and Package Extensions work☆23Jun 11, 2023Updated 2 years ago
- Next generation ODE translator☆13May 12, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A branch of the original, with a touch of Leaflet☆25Nov 28, 2011Updated 14 years ago
- Simple Planet Clone in Perl☆25Mar 9, 2026Updated 2 months ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- An Interactive Force Directed Graph in D3.js☆46Feb 1, 2015Updated 11 years ago
- 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 last year
- A playground for evolutionary computation in Julia☆28Jan 10, 2026Updated 4 months ago
- Nix build Scheduler☆11Nov 24, 2025Updated 5 months ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 4 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
- Parse data and generate plotting scripts based on plotly.☆12Dec 8, 2025Updated 5 months ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago