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☆11Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Julia Ecosystem Security Advisory Database☆23Jun 8, 2026Updated last week
- 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
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆25Nov 26, 2023Updated 2 years ago
- RSMP Signal Exchange List (SXL) for Traffic Controllers☆12Updated this 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Updated this week
- ☆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☆15Mar 6, 2026Updated 3 months ago
- An open source model predictive control package for Julia☆129Updated this week
- A fixed-size step for dynamics, a giant leap for SciML☆21Mar 16, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Relational piecewise-linear overapproximations of multi-dimensional functions☆21Sep 24, 2025Updated 8 months ago
- Official codebase for "Score-based Diffusion Models in Function Space"☆19Jan 23, 2025Updated last year
- A package for compositional system analysis and design☆34Jul 22, 2025Updated 10 months ago
- Document Understanding tools☆21Dec 22, 2021Updated 4 years ago
- Prometheus client for Julia☆23May 1, 2026Updated last month
- ☆15Feb 23, 2025Updated last year
- ☆20Sep 5, 2024Updated last year
- ☆32May 22, 2023Updated 3 years ago
- An unofficial implementation of the Fourier Neural Operator in Flax☆19May 25, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Single player Alpha Zero implementation☆42Mar 7, 2022Updated 4 years ago
- DPLL(T)-based Verification tool for DNNs☆33May 5, 2026Updated last month
- [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 3 weeks ago
- ☆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