☆16May 5, 2022Updated 3 years ago
Alternatives and similar repositories for hmtst
Users that are interested in hmtst are comparing it to the libraries listed below
Sorting:
- ☆10Dec 10, 2022Updated 3 years ago
- A friendly Nix profile manager☆30Aug 18, 2025Updated 6 months ago
- My NixOS home-manager configuration☆24Sep 28, 2025Updated 5 months ago
- Nix flake for several AI projects☆42Feb 9, 2026Updated 3 weeks ago
- HWFLY/SX Firmware based on https://github.com/hwfly-nx/firmware with Instinct-NX loader and toshiba timeout patch☆13Aug 22, 2023Updated 2 years ago
- Configuration of my machines (main development happens at https://git.chvp.be/chvp/nixos-config these days)☆87Updated this week
- A CSS methodology so great, it needed a name...☆12Nov 6, 2025Updated 3 months ago
- ☆10May 28, 2025Updated 9 months ago
- The web gui for the OpenBSD pf firewall☆16Feb 9, 2010Updated 16 years ago
- Generate boilerplates for layered architecture by your templates.☆13Dec 27, 2019Updated 6 years ago
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is not…☆11Jun 10, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆10Mar 31, 2025Updated 11 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆48Aug 27, 2025Updated 6 months ago
- Companion software to "Music Representation: A Software Approach" by Donald Pazel☆13Dec 4, 2022Updated 3 years ago
- My NixOS configurations☆11Feb 24, 2026Updated last week
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 3 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- NixOS configuration of my machines☆12Dec 30, 2025Updated 2 months ago
- A gameboy emulator for LLM's☆21Apr 28, 2025Updated 10 months ago
- A go package that defines an abstract filesystem interface☆14Dec 15, 2025Updated 2 months ago
- Popping sounds for your keyboard!☆12Dec 5, 2021Updated 4 years ago
- Pre-built Sourcehut containers☆11Apr 29, 2025Updated 10 months ago
- ☆13Aug 6, 2024Updated last year
- A command-line tool that uses hyperfine to benchmark Nix derivation builds and evaluations.☆24Feb 22, 2026Updated last week
- Read Safari's Bookmarks.plist☆16May 26, 2023Updated 2 years ago
- Scripts I use to help me admin nginx vhosts☆21May 13, 2010Updated 15 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- nftables firewall script☆13Sep 18, 2023Updated 2 years ago
- A simple go app that connects to a sqlite3 database☆11Sep 18, 2018Updated 7 years ago
- ☆10Feb 26, 2025Updated last year
- A video frame image provider for hooking up to iterators and ranges and ControlNets and such for invokeAI node experimentation. Think ani…☆12Oct 17, 2025Updated 4 months ago
- Shared Go Libraries☆12Updated this week
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Oct 22, 2025Updated 4 months ago
- A nixos configuration that works with VS Code☆10Aug 8, 2025Updated 6 months ago
- Deployment of the https://flake.parts website☆16Updated this week
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- ZFS pool scrubber and monitor script☆12Feb 15, 2013Updated 13 years ago
- Nix Flake and NixOS module for Weblate.☆13Aug 12, 2024Updated last year