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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 7 years 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 2 years ago
- Danish National Championship in AI☆16Nov 10, 2023Updated 2 years ago
- Exact real arithmetic using Dedekind cuts☆11Jun 29, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Julia Ecosystem Security Advisory Database☆24Jun 26, 2026Updated last week
- Emily-CLI -> Combine the power of Python and Docker☆15Jan 13, 2023Updated 3 years ago
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆24Nov 26, 2023Updated 2 years ago
- RSMP Signal Exchange List (SXL) for Traffic Controllers☆12Jun 24, 2026Updated last week
- for intigriti web challenges☆16Apr 11, 2023Updated 3 years ago
- Web service for ingesting Apple HealthKit data into an S3-backed data lake and making it accessible.☆28Jun 8, 2022Updated 4 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11May 14, 2026Updated last month
- Interval Analysis and Mixed Monotone Reachability in JAX☆21May 13, 2026Updated last month
- Extension of MultivariatePolynomials to moments of multivariate measures☆16Jun 24, 2026Updated last week
- 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.
- ☆15Nov 18, 2024Updated last year
- ☆17Jul 26, 2023Updated 2 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆16Jan 17, 2025Updated last year
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 2 years ago
- This repository is for the master thesis project: "DiffFluids: A Diffusion-based Generative Model for Fluid Simulations"☆13Oct 2, 2023Updated 2 years ago
- Tools for constructing and analyzing the incidence graph or matrix of variables and constraints in a JuMP model☆16Mar 6, 2026Updated 4 months ago
- An open source model predictive control package for Julia☆131Updated this week
- A fixed-size step for dynamics, a giant leap for SciML☆21Mar 16, 2026Updated 3 months ago
- Relational piecewise-linear overapproximations of multi-dimensional functions☆20Sep 24, 2025Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Official codebase for "Score-based Diffusion Models in Function Space"☆20Jan 23, 2025Updated last year
- A package for compositional system analysis and design☆35Jul 22, 2025Updated 11 months ago
- Document Understanding tools☆21Dec 22, 2021Updated 4 years ago
- Prometheus client for Julia☆22May 1, 2026Updated 2 months ago
- ☆14Feb 23, 2025Updated last year
- ☆20Sep 5, 2024Updated last year
- ☆31May 22, 2023Updated 3 years ago
- An unofficial implementation of the Fourier Neural Operator in Flax☆19May 25, 2024Updated 2 years ago
- Single player Alpha Zero implementation☆42Mar 7, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A neural network verification tool based on the DPLL(T) SMT Solving algorithm.☆34Jun 29, 2026Updated last week
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆28Dec 10, 2023Updated 2 years ago
- Julia package allowing unit modelling in JuMP using Unitful☆20Dec 11, 2024Updated last year
- How do I DIKU? How indeed.☆29May 26, 2026Updated last month
- ☆27Dec 8, 2023Updated 2 years ago
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆18Nov 29, 2018Updated 7 years ago
- Exploring OpenFOAM®☆19Jan 30, 2018Updated 8 years ago