ClearML Server for Kubernetes Clusters
☆21Aug 4, 2021Updated 5 years ago
Alternatives and similar repositories for clearml-server-k8s
Users that are interested in clearml-server-k8s are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate systemd units from NixOS-style descriptions☆49Jul 26, 2023Updated 3 years ago
- BinderHub example using Nix☆19Nov 20, 2018Updated 7 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 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.
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Fourmolu GitHub Action☆13Jun 24, 2026Updated 2 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Aug 25, 2026Updated last week
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- Fetch debian packages via GIthub release API☆13Dec 26, 2014Updated 11 years ago
- half-precision floating-point☆18Mar 2, 2026Updated 6 months ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- ☆13Feb 7, 2016Updated 10 years ago
- Standalone Custom Transfer Agent for Git LFS☆13Sep 13, 2018Updated 7 years ago
- 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.
- Pypi Fetcher for Nix with simplified interface. (contains hashes for all packages)☆15Nov 7, 2023Updated 2 years ago
- ☆12Jan 2, 2026Updated 8 months ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 8 months ago
- HTML to Hamlet converter☆17Oct 1, 2019Updated 6 years ago
- ☆13Oct 2, 2018Updated 7 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated 10 months ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- ☆19Jul 31, 2019Updated 7 years ago
- 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.
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 9 years ago
- coq-tutorial☆17Nov 11, 2019Updated 6 years ago
- ☆12Sep 6, 2017Updated 8 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated 2 months ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated last year
- mdlabbook is a markdown-format lab notebook☆11Jan 11, 2017Updated 9 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- A Rust crate to attach BPF filters☆17May 14, 2025Updated last year
- Validator node monitoring scripts☆10Oct 26, 2023Updated 2 years ago
- 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 Rust-based CustomVM for the Avalanche blockchain network☆11Aug 17, 2026Updated 2 weeks ago
- Simplified recipes for preparing commonly used speech datasets, and a PyTorch-compatible Python data loader that can perform standard fea…☆15Jun 25, 2026Updated 2 months ago
- Simple DSL that comiles to BPF assembly☆18Apr 19, 2018Updated 8 years ago
- ☆11Nov 28, 2014Updated 11 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- redirect file open operations via LD_PRELOAD☆25Jan 15, 2023Updated 3 years ago
- Open-source IPs Package Manager (IPM)☆16Feb 24, 2025Updated last year