dnadales / nix-latex-template
Nix configuration for reproducible builds of LaTeX documents
☆25Updated 4 years ago
Alternatives and similar repositories for nix-latex-template:
Users that are interested in nix-latex-template are comparing it to the libraries listed below
- Hakyll + Nix starter template☆57Updated 5 months ago
- Check cross-references in repository documents☆56Updated 3 weeks ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Nix support for the Unison programming language☆57Updated 3 weeks ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 3 years ago
- Parse and render *.drv files☆38Updated 6 months ago
- seamless management of source dependencies with nix☆38Updated 3 months ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆104Updated last year
- A type-system for Nix☆98Updated 6 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆51Updated 3 weeks ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆22Updated 6 months ago
- ☆91Updated 3 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22Updated 11 months ago
- A simple demo of Nixifying a multi-package Haskell project☆17Updated last month
- Nix installation for ghcide☆74Updated 4 years ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Haskell implementation of the Nix store☆90Updated 5 months ago
- Javascript DOM bindings for Idris2☆52Updated 10 months ago
- haskell source code visualizer☆99Updated this week
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 2 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated last week
- Tool for cleaning away old Haskell Stack build artifacts☆36Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Debug Adapter for Haskell debugging system.☆58Updated this week
- A library for using algebraic data types in the Nix expression language.☆32Updated 7 years ago
- Material for Haskell training☆34Updated 2 years ago