nix scripts for pytorch-related libraries
☆22Apr 25, 2021Updated 4 years ago
Alternatives and similar repositories for pytorch-world
Users that are interested in pytorch-world are comparing it to the libraries listed below
Sorting:
- ☆12Jan 2, 2026Updated 2 months ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- (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
- Derive KnownNat constraints from other KnownNat constraints☆14Feb 10, 2026Updated 3 weeks ago
- Simplified recipes for preparing commonly used speech datasets, and a PyTorch-compatible Python data loader that can perform standard fea…☆15Jun 12, 2023Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 5 years ago
- Hakyll utilities to work with images☆20Feb 11, 2025Updated last year
- Hasktorch two-layer network example project☆13Nov 21, 2020Updated 5 years ago
- Standard set of packages and overlays for data-scientists [maintainer=@tbenst]☆83Jun 5, 2021Updated 4 years ago
- Practical Deep Learning in Haskell now!☆50Oct 16, 2022Updated 3 years ago
- Express parametrable, composable and portable data pipelines☆88Apr 6, 2022Updated 3 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- A poor and hacky attempt at re-serving local nix packages that came from trusted sources☆26Mar 24, 2023Updated 2 years ago
- A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Per…☆48Nov 11, 2016Updated 9 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆63Aug 8, 2023Updated 2 years ago
- A Setup.hs shim for running doctests☆31Jan 6, 2026Updated last month
- Haskell bindings for the W3C WebDriver API☆23Aug 19, 2024Updated last year
- https://hercules-ci.com build and deployment agent☆118Updated this week
- Ormolu GitHub action☆31Nov 26, 2025Updated 3 months ago
- Nix Android build tests☆35Mar 22, 2020Updated 5 years ago
- Auto-updates and CI 🤖 for Nixpkgs☆29May 21, 2025Updated 9 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Sep 8, 2025Updated 5 months ago
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Jul 10, 2020Updated 5 years ago
- Data centralization tool☆36Aug 24, 2020Updated 5 years ago
- Inline C & Objective-C in Haskell☆148Jul 30, 2017Updated 8 years ago
- Thoth is a powerful tool to support collaborative systematic reviews. Developed as a multi-platform solution, Thoth aims to automate impo…☆11Nov 25, 2025Updated 3 months ago
- Diffusion Probabilistic Model in Jax☆12Apr 20, 2024Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 9 months ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- building aosp roms (e.g. LineageOS) with nix. because why not?☆32Feb 3, 2021Updated 5 years ago
- damselfly : use dragon naturally speaking to control linux apps☆17Feb 20, 2015Updated 11 years ago
- ☆13Feb 7, 2016Updated 10 years ago
- Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…☆12Jan 6, 2026Updated last month
- Nix expressions for HPC/Quantum chemistry software packages☆103Updated this week
- ☆11Mar 11, 2021Updated 4 years ago
- Computes 2D peak prominence☆12Nov 12, 2018Updated 7 years ago
- ☆11Feb 11, 2020Updated 6 years ago