DM i AI 2022
☆10Oct 4, 2022Updated 3 years ago
Alternatives and similar repositories for DM-i-AI-2022
Users that are interested in DM-i-AI-2022 are comparing it to the libraries listed below
Sorting:
- Public repository for the HPPS course☆17Jan 17, 2022Updated 4 years ago
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆14Apr 16, 2019Updated 6 years ago
- Emily-CLI -> Combine the power of Python and Docker☆15Jan 13, 2023Updated 3 years ago
- Time2Vec neural network components. From paper: "Time2Vec: Learning a Vector Representation of Time" - https://arxiv.org/pdf/1907.05321.p…☆10Nov 25, 2024Updated last year
- RSMP Signal Exchange List (SXL) for Traffic Controllers☆12Dec 19, 2025Updated 2 months ago
- Exact real arithmetic using Dedekind cuts☆11Feb 15, 2026Updated 3 weeks ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Jul 4, 2025Updated 8 months ago
- This repository contains the source code related to the analysis of the salary survey, as well as the development of a dashboard webapp.☆14Mar 17, 2024Updated last year
- Interval Analysis and Mixed Monotone Reachability in JAX☆16Feb 22, 2026Updated 2 weeks ago
- ☆15Nov 18, 2024Updated last year
- This repository is for the master thesis project: "DiffFluids: A Diffusion-based Generative Model for Fluid Simulations"☆13Oct 2, 2023Updated 2 years ago
- Danish National Championship in AI☆16Nov 10, 2023Updated 2 years ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Dec 22, 2025Updated 2 months ago
- for intigriti web challenges☆16Apr 11, 2023Updated 2 years ago
- ☆19Sep 5, 2024Updated last year
- Fourier_neural_operator☆16Jan 27, 2023Updated 3 years ago
- Tools for constructing and analyzing the incidence graph or matrix of variables and constraints in a JuMP model☆15Updated this week
- Signal temporal logic (STL) formulas and robustness in Julia☆16Jan 17, 2025Updated last year
- Official codebase for "Score-based Diffusion Models in Function Space"☆17Jan 23, 2025Updated last year
- ☆17Jul 26, 2023Updated 2 years ago
- A package for compositional system analysis and design☆29Jul 22, 2025Updated 7 months ago
- Coupled Generalized Nonlinear Schrodringer Equation solver for birefringent fibers☆20Aug 30, 2022Updated 3 years ago
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 2 years ago
- Exploring OpenFOAM®☆19Jan 30, 2018Updated 8 years ago
- ☆15Feb 23, 2025Updated last year
- An unofficial implementation of the Fourier Neural Operator in Flax☆19May 25, 2024Updated last year
- Relational piecewise-linear overapproximations of multi-dimensional functions☆21Sep 24, 2025Updated 5 months ago
- A small step for dynamics, a giant leap for SciML☆19Feb 23, 2026Updated last week
- Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.☆23Jan 26, 2026Updated last month
- How do I DIKU? How indeed.☆28Feb 26, 2026Updated last week
- Julia package allowing unit modelling in JuMP using Unitful☆20Dec 11, 2024Updated last year
- DPLL(T)-based Verification tool for DNNs☆30Updated this week
- Prometheus client for Julia☆23Feb 18, 2026Updated 2 weeks ago
- Document Understanding tools☆21Dec 22, 2021Updated 4 years ago
- ☆25Dec 8, 2023Updated 2 years ago
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆27Dec 10, 2023Updated 2 years ago
- An open source model predictive control package for Julia.☆115Feb 28, 2026Updated last week
- ☆42Jun 20, 2025Updated 8 months ago
- Web service for ingesting Apple HealthKit data into an S3-backed data lake and making it accessible.☆28Jun 8, 2022Updated 3 years ago