Generate Nix build instructions from a SBT project
☆39Jan 26, 2017Updated 9 years ago
Alternatives and similar repositories for sbt2nix
Users that are interested in sbt2nix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generates Nix definitions for your SBT builds☆43Jun 6, 2018Updated 8 years ago
- Generate GraphViz graphs by interpretting free monads.☆52Jun 18, 2014Updated 12 years ago
- source code to generate presentations☆11Nov 20, 2021Updated 4 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- adept helps you find, declare, and download dependencies. http://groups.google.com/group/adept-dev/☆18Aug 20, 2013Updated 13 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 9 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 8 years ago
- ☆57Jul 13, 2017Updated 9 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ☆46Apr 2, 2020Updated 6 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 syntax for type-safe effectful computations in Scala☆174Apr 22, 2016Updated 10 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆26Mar 2, 2020Updated 6 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 9 years ago
- Type safe delta☆55Nov 11, 2024Updated last year
- Cats instances for ScalaCheck data types☆18Nov 21, 2016Updated 9 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- property based testing library for Scala☆283Oct 23, 2026Updated last week
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Experimentation of scala macro paradise for utility macros.☆16Jun 2, 2013Updated 13 years ago
- Scalafix migrations from Scalaz to Cats☆14Jan 2, 2021Updated 5 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated 7 months ago
- Reads typeclass for Scala☆14Mar 13, 2017Updated 9 years ago
- The repository for RedEyes core.☆68May 13, 2014Updated 12 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- Benchmarks for scalac☆68Sep 26, 2025Updated last year
- Tiny templating language written in Scala.☆10Nov 20, 2012Updated 13 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Drive the Nix build system using the Dhall configuration language☆28Nov 17, 2018Updated 7 years ago
- ☆29Oct 27, 2014Updated 12 years ago
- Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)☆80Jun 26, 2018Updated 8 years ago
- Slides and code for my "F-Bounded Polymorphism" talk☆17Oct 14, 2017Updated 9 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Non-horrible command line parsing.☆43May 9, 2017Updated 9 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago