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 7 years ago
- Generate GraphViz graphs by interpretting free monads.☆52Jun 18, 2014Updated 11 years ago
- source code to generate presentations☆11Nov 20, 2021Updated 4 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 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.
- Lightweight API for working with cloud data☆40Dec 29, 2020Updated 5 years ago
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- ☆57Jul 13, 2017Updated 8 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- A macro-based generic visitor generator☆25Feb 24, 2025Updated last year
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 9 years ago
- A minimalist wrapper for Netty in terms of scalaz-stream☆68Nov 16, 2016Updated 9 years ago
- A simple Play application with Frege☆20Nov 23, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 7 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Display a Pomodoro timer on an OLED display via org-clock.☆14Dec 14, 2021Updated 4 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 8 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated 2 weeks ago
- property based testing library for Scala☆279Mar 16, 2026Updated last week
- A port of gears.c to Scala using Scala Native☆15Sep 26, 2018Updated 7 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27May 24, 2016Updated 9 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39May 2, 2019Updated 6 years ago
- Frege + database = :-)☆16May 10, 2016Updated 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
- Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)☆80Jun 26, 2018Updated 7 years ago
- Liberator - sent to make you Free☆88Dec 14, 2018Updated 7 years ago
- A demonstration on how to use Nix to build, test and deploy a Haskell application☆65Oct 31, 2017Updated 8 years ago
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆24Dec 22, 2015Updated 10 years ago
- Library for deep embedding of DSLs based on Scala macros.☆75Jan 12, 2016Updated 10 years ago
- purely functional http client with scalaz.Free☆66Aug 24, 2025Updated 7 months ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- An onion architecture example☆69Oct 17, 2016Updated 9 years ago
- Awesome scala compiler guides/papers/videos/talks☆21Sep 21, 2015Updated 10 years ago