Generates Nix definitions for your SBT builds
☆43Jun 6, 2018Updated 7 years ago
Alternatives and similar repositories for Sbtix
Users that are interested in Sbtix 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 Nix build instructions from a SBT project☆39Jan 26, 2017Updated 9 years ago
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- Static site generator as an SBT plugin☆37Mar 14, 2018Updated 8 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.
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 4 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- ☆41Nov 9, 2022Updated 3 years ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- A purity and nullability analysis tool for Java.☆26Aug 9, 2018Updated 7 years ago
- Experimental standalone math and stuff. Automation category: Terasology Library☆13Mar 22, 2020Updated 6 years ago
- a quantum simulator with pretty circuit DSL in Scala☆13Sep 27, 2018Updated 7 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Apr 12, 2017Updated 9 years ago
- [WIP] Nix overlay for making programs xdg compliant☆22Dec 1, 2017Updated 8 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.
- A macro-based generic visitor generator☆25Feb 24, 2025Updated last year
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- Automatic code formatter for the Nix programming language☆50Sep 21, 2016Updated 9 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)☆80Jun 26, 2018Updated 7 years ago
- Packaging of the nix package manager for Debian☆17Nov 1, 2019Updated 6 years ago
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 9 years ago
- Predictable Haskell development environments with Cabal and Nix.☆66Oct 18, 2019Updated 6 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Feb 6, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Triton Operating System☆68Aug 26, 2022Updated 3 years ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 4 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Scala Native GUI framework based on libui☆73Jul 18, 2024Updated last year
- Abandoned☆169Oct 3, 2018Updated 7 years ago
- A work-in-progress game being developed using scala-js☆33Aug 30, 2014Updated 11 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆109Aug 30, 2018Updated 7 years ago
- A recursion schemes micro-library☆21Jul 2, 2020Updated 5 years ago
- ☆19Mar 23, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Final tagless talk sources.☆15May 4, 2017Updated 9 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Feb 6, 2020Updated 6 years ago
- Run programs defined in nix expressions☆51Jan 31, 2017Updated 9 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆72Jun 15, 2019Updated 6 years ago
- A scala library for the Tak board game☆16Feb 18, 2022Updated 4 years ago
- Voxel-based Editor☆13Jul 11, 2018Updated 7 years ago