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 → thufschmitt → tix

thufschmitt / tix

Licence: other
[WIP] A type system for nix

Programming Languages

ocaml
1615 projects
Nix
1067 projects
Makefile
30231 projects

Labels

nixnixoswiptype-system

Projects that are alternatives of or similar to tix

yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-40.68%)
Mutual labels:  nix, nixos, type-system
high-quality-nix-content
GitHub repository containing highest quality Nix/NixOS content
Stars: ✭ 88 (+49.15%)
Mutual labels:  nix, nixos
nixexprs
nix stuff
Stars: ✭ 13 (-77.97%)
Mutual labels:  nix, nixos
dconf2nix
🐾 Convert Dconf files (e.g. Gnome Shell) to Nix, as expected by Home Manager
Stars: ✭ 51 (-13.56%)
Mutual labels:  nix, nixos
dotfiles
My NixOS dotfiles
Stars: ✭ 21 (-64.41%)
Mutual labels:  nix, nixos
dotfiles
No place like ~. Nix. All. The. Things.
Stars: ✭ 48 (-18.64%)
Mutual labels:  nix, nixos
nixos-on-arm
Cross Compiling NixOS to ARM as a replacement for Yocto
Stars: ✭ 129 (+118.64%)
Mutual labels:  nix, nixos
nixpkgs-python-importer
Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.
Stars: ✭ 27 (-54.24%)
Mutual labels:  nix, nixos
nix-new-rails-app
Initialize Rails applications using Nix and development environments (nix-shell)
Stars: ✭ 27 (-54.24%)
Mutual labels:  nix, nixos
system
Declarative NixOS system configuration for all my machines
Stars: ✭ 14 (-76.27%)
Mutual labels:  nix, nixos
dotnix
Shackled within an elaborate prison of my own design.
Stars: ✭ 35 (-40.68%)
Mutual labels:  nix, nixos
nix-config
NixOS configuration (also on WSL)
Stars: ✭ 51 (-13.56%)
Mutual labels:  nix, nixos
dotfiles
NixOS system config & Home-Manager user config
Stars: ✭ 43 (-27.12%)
Mutual labels:  nix, nixos
dotfiles
Dotfiles for my NixOS system based on Dracula theme
Stars: ✭ 39 (-33.9%)
Mutual labels:  nix, nixos
nixery
Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery
Stars: ✭ 1,365 (+2213.56%)
Mutual labels:  nix, nixos
nixos-config
My NixOS configuration
Stars: ✭ 23 (-61.02%)
Mutual labels:  nix, nixos
django-nixos
NixOS/NixOps configuration for Django
Stars: ✭ 21 (-64.41%)
Mutual labels:  nix, nixos
homeage
runtime decrypted age secrets for nix home manager
Stars: ✭ 43 (-27.12%)
Mutual labels:  nix, nixos
nyx
⚙️Nix[OS] Configuration
Stars: ✭ 50 (-15.25%)
Mutual labels:  nix, nixos
nixcrates
DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
Stars: ✭ 14 (-76.27%)
Mutual labels:  nix, nixos
View All Similar Projects ➔

Abandonned see https://github.com/regnat/ptyx

% tix % A (wip) type-inference engine for nix

There is currently not much, hardly a parser for a small subset of the language.

Build

Assuming you got nix installed on your computer, run nix-shell to enter a well-configured environment, and then:

$ make configure
$ make
$ make test
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].