A helper flake for building Node.js package easily with Nix.
☆10Oct 9, 2021Updated 4 years ago
Alternatives and similar repositories for mkNodePackage
Users that are interested in mkNodePackage are comparing it to the libraries listed below
Sorting:
- A Nix flake to install Discord with Powercord☆13Sep 30, 2022Updated 3 years ago
- The source code of my blog☆20Updated this week
- Working group for using modules for packages☆25Aug 8, 2023Updated 2 years ago
- My personal Nix infrastructure.☆19Jan 8, 2023Updated 3 years ago
- NixOps 2.0 with batteries included.☆35Jan 12, 2023Updated 3 years ago
- A library for using algebraic data types in the Nix expression language.☆32Jan 29, 2018Updated 8 years ago
- ☆10Sep 14, 2025Updated 5 months ago
- A Golang command line tool that can flexibly extract an entire code base's context, optimally formatted in markdown for LLM input.☆16Mar 10, 2025Updated 11 months ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 8 years ago
- ☆18Dec 22, 2025Updated 2 months ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Updated this week
- Tutorial on how to create a twitter bot that replied to mentions☆10Sep 16, 2023Updated 2 years ago
- A Telegram Bot to assist PvP groups for Pokemon Go☆10Feb 9, 2024Updated 2 years ago
- Nix flake for gpt4all☆38Feb 4, 2024Updated 2 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Load pnpm lock files into nix :) [maintainer=]☆95Nov 1, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Dead Man Switch - the cluster network and mechanized-automatic warfare☆19Feb 22, 2026Updated last week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- !3 is a simple, secure and open source paste sharing platform.☆13Feb 5, 2026Updated 3 weeks ago
- ☆11Dec 16, 2021Updated 4 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- CLI utility to convert markdown files into the most beautiful HTML you have ever seen. Written in Rust.☆10Oct 14, 2020Updated 5 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- Code for a creative coding class with graphics designers.☆12Feb 29, 2024Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- A really basic copy-to-clipboard JavaScript library.☆12Aug 24, 2020Updated 5 years ago
- Declaratively set your DNS records with dnsmill, powered by libdns.☆12Nov 26, 2025Updated 3 months ago
- T2/Pebble theme for Mastodon☆12Jun 7, 2025Updated 8 months ago
- Generate include dependency diagram☆12Jul 4, 2021Updated 4 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- My PwSH prompt☆11Feb 27, 2025Updated last year
- turtile 🐢 is a simple Wayland compositor written in C, based on wlroots☆15Nov 29, 2024Updated last year