GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → tazjin → yants

tazjin / yants

Licence: other
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Labels

nixnixosnixpkgstype-safetytype-system

Projects that are alternatives of or similar to yants

nixpkgs-python-importer
Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.
Stars: ✭ 27 (-22.86%)
Mutual labels:  nix, nixos, nixpkgs
nixpkgs
Nix Packages collection used in Nubank
Stars: ✭ 24 (-31.43%)
Mutual labels:  nix, nixos, nixpkgs
triton
Triton Operating System
Stars: ✭ 56 (+60%)
Mutual labels:  nix, nixos, nixpkgs
gradle2nix
Generate Nix expressions which build Gradle-based projects.
Stars: ✭ 71 (+102.86%)
Mutual labels:  nix, nixos, nixpkgs
Nixpkgs
Nix Packages collection
Stars: ✭ 8,322 (+23677.14%)
Mutual labels:  nix, nixos, nixpkgs
dotfiles
No place like ~. Nix. All. The. Things.
Stars: ✭ 48 (+37.14%)
Mutual labels:  nix, nixos, nixpkgs
nix-bisect
Bisect nix builds. Status: alpha/proof of concept. You'll probably have to dig into the implementation if you want to use it. Built for personal use, lightly maintained. PRs welcome. Issues welcome, but I make no promises regarding responses or fix
Stars: ✭ 72 (+105.71%)
Mutual labels:  nix, nixos, nixpkgs
tix
[WIP] A type system for nix
Stars: ✭ 59 (+68.57%)
Mutual labels:  nix, nixos, type-system
Home Manager
Manage a user environment using Nix [maintainer=@rycee]
Stars: ✭ 2,447 (+6891.43%)
Mutual labels:  nix, nixos, nixpkgs
crane
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
Stars: ✭ 348 (+894.29%)
Mutual labels:  nix, nixos, nixpkgs
terraform-provider-nix
terraform provider that manages nix builds and nixos machines.
Stars: ✭ 105 (+200%)
Mutual labels:  nixos, nixpkgs
nixops-tutorial
Tutorial for practical deployments with NixOps
Stars: ✭ 93 (+165.71%)
Mutual labels:  nix, nixos
emergency-kexec
Kexec into an in-memory emergency system
Stars: ✭ 21 (-40%)
Mutual labels:  nix, nixos
elemental
Elemental, the component parts of a Nix/OS development system.
Stars: ✭ 44 (+25.71%)
Mutual labels:  nix, nixos
nix-portable
Nix - Static, Permissionless, Installation-free, Pre-configured
Stars: ✭ 356 (+917.14%)
Mutual labels:  nix, nixos
nix-home
A Nix Home Manager setup. I've now moved to a new configuration system at hugoreeves/elemental
Stars: ✭ 60 (+71.43%)
Mutual labels:  nix, nixos
dotfiles
Dotfiles. Mac and *nix. Handy scripts, configurations for bash, zsh, git, asdf, Sublime Text, Karabiner-Elements, BetterTouchTool and more.
Stars: ✭ 15 (-57.14%)
Mutual labels:  nix, nixpkgs
haskell-overridez
Simplify usage of nix dependencies during haskell development
Stars: ✭ 32 (-8.57%)
Mutual labels:  nix, nixpkgs
digga
A flake utility library to craft shell-, home-, and hosts- environments.
Stars: ✭ 818 (+2237.14%)
Mutual labels:  nix, nixos
nix2container
An archive-less dockerTools.buildImage implementation
Stars: ✭ 133 (+280%)
Mutual labels:  nix, nixos
View All Similar Projects ➔

YANTS is Yet Another Nix Type System.

Its code has moved to //depot/nix/yants on git.tazj.in. At this point most of my software (unless it lives in other organisations) is no longer developed on GitHub.

If you are looking for an issue tracker, issues and patches for my projects are tracked at [email protected] (which is also the email address that you can send issues and patches to).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].