tobiasvandriessel's starred repositories

lix

[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by its community

Language:C++License:LGPL-2.1Stargazers:250Issues:0Issues:0

cambria-project

Schema evolution with bi-directional lenses.

Language:TypeScriptLicense:MITStargazers:616Issues:0Issues:0

peritext

A CRDT for asynchronous rich-text collaboration, where authors can work independently and then merge their changes.

Language:TypeScriptLicense:MITStargazers:653Issues:0Issues:0

SAT

The Smart Autotune Thermostat (SAT) is a custom component for Home Assistant that works with an OpenTherm Gateway (OTGW).

Language:PythonLicense:GPL-3.0Stargazers:57Issues:0Issues:0

typst-neat-cv

A set of templates to produce modern, minimal and elegant CVs and cover letters using Typst.

Language:TypstLicense:MITStargazers:29Issues:0Issues:0

pkgx

run anything

Language:TypeScriptLicense:Apache-2.0Stargazers:8967Issues:0Issues:0

imapsync

Imapsync is an IMAP transfers tool. The purpose of imapsync is to migrate IMAP accounts or to backup IMAP accounts. IMAP is one of the three current standard protocols to access mailboxes, the two others are POP3 and HTTP with webmails, webmails are often tied to an IMAP server. Upstream website is

Language:PerlLicense:NOASSERTIONStargazers:3361Issues:0Issues:0

RyzenAdj

Adjust power management settings for Ryzen APUs

Language:CLicense:LGPL-3.0Stargazers:1687Issues:0Issues:0

nixos-facter

Declarative hardware configuration for NixOS [maintainer=@numtide]

Language:GoLicense:NOASSERTIONStargazers:141Issues:0Issues:0

nickel

Better configuration for less

Language:RustLicense:MITStargazers:2388Issues:0Issues:0

organist

Control all your tooling from a single console

Language:NCLLicense:MITStargazers:407Issues:0Issues:0
Language:RustLicense:GPL-3.0Stargazers:98Issues:0Issues:0

master-thesis

Pol Dellaiera's Master Thesis - Reproducibility In Software Engineering

Language:TypstLicense:NOASSERTIONStargazers:15Issues:0Issues:0

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:4380Issues:0Issues:0

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:23092Issues:0Issues:0

fenix

Rust toolchains and rust-analyzer nightly for Nix [maintainer=@figsoda]

Language:NixLicense:MPL-2.0Stargazers:685Issues:0Issues:0

nixvim

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Language:NixLicense:MITStargazers:1706Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10960Issues:0Issues:0

ladybird

Truly independent web browser

Language:C++License:BSD-2-ClauseStargazers:21184Issues:0Issues:0

nil

NIx Language server, an incremental analysis assistant for writing in Nix.

Language:RustLicense:Apache-2.0Stargazers:1359Issues:0Issues:0

nix-inspect

Interactive tui for inspecting nix configs

Language:RustLicense:MITStargazers:291Issues:0Issues:0

Hyprland

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Language:C++License:BSD-3-ClauseStargazers:21083Issues:0Issues:0

impermanence

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Language:NixLicense:MITStargazers:1165Issues:0Issues:0

lanzaboote

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

Language:RustLicense:GPL-3.0Stargazers:880Issues:0Issues:0

Radicale

A simple CalDAV (calendar) and CardDAV (contact) server.

Language:PythonLicense:GPL-3.0Stargazers:3322Issues:0Issues:0

flox

Developer environments you can take with you

Language:RustLicense:GPL-2.0Stargazers:2495Issues:0Issues:0

tvix

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

Language:RustLicense:GPL-3.0Stargazers:529Issues:0Issues:0

scal3

Verify that systems operate under your sole control

Language:RustStargazers:14Issues:0Issues:0

typix

Deterministic Typst compilation with Nix

Language:NixLicense:MITStargazers:93Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:34169Issues:0Issues:0