#
vic
Follow
Lists (2)
Starred repositories
An Emacs interface for jujutsu, inspired by magit and humbly not attempting to match it in scope.
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
An experimental Bazel compatible remote build system
Python script to simulate the display from "The Matrix" in terminal. Uses half-width katakana unicode characters by default, but can use custom character sets. Accepts keyboard controls while runni…
Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid
a flake module to ease creating and managing multiple hosts in your nix flake.
A flake-parts module for simple nixos, darwin and home-manager configurations using project directory structure
Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS
An experimental effect system in Scala using capability passing style
Create Nilla projects that manage your packages, development shells, systems, and more!
A multi-platform Nix configuration template optimized as development environment, based on nixos-unified.
A simple NixOS & nix-darwin module for self-hosting GitHub runners
Multi-platform GPGPU computations with Scala, seamlessly 🚀
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
A human readable quasi-concatenative programming language
A Git-compatible VCS that is both simple and powerful
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
This repository contains complete resources and coding practices for malware development using Rust 🦀.
Vim-like modal keybindings for your terminal! ✌️
A proof assistant for higher-dimensional type theory
My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS.
A minimal proof checker.
Atomic secret provisioning for NixOS based on sops
