Fedora toolbox with nix.
☆53Jan 21, 2026Updated last month
Alternatives and similar repositories for nix-toolbox
Users that are interested in nix-toolbox are comparing it to the libraries listed below
Sorting:
- LogJuicer extracts anomalies from log☆26Nov 21, 2025Updated 3 months ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- Effortlessly connect and control your Petkit W5 Water Fountains with this powerful Python library. Utilizing BLE and Python to expose dev…☆16Feb 17, 2026Updated 2 weeks ago
- Toggle dark mode/night shift with the light sensor!☆13Feb 24, 2024Updated 2 years ago
- The Hypnospiral Visualizer source code.☆17Sep 9, 2025Updated 5 months ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Datasette plugin for outputting tables in formats suitable for copy and paste☆16Feb 17, 2024Updated 2 years ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 7 months ago
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 7 years ago
- Script to make flatpak packaging easier.☆12Apr 10, 2023Updated 2 years ago
- hvalid is a lightweight validation library written in Go language.(一个用Go语言编写的轻量级验证库)☆14Jun 5, 2025Updated 9 months ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- ☆12Jan 2, 2026Updated 2 months ago
- Gatelogic - Somewhat reactive programming framework in Python☆11Sep 25, 2024Updated last year
- Now you can close X by clicking on the X icon!☆10Jul 25, 2023Updated 2 years ago
- Rust Intiface CLI (based on buttplug-rs)☆11Jan 16, 2023Updated 3 years ago
- Pony bindings for libmysqlclient☆12Jun 5, 2018Updated 7 years ago
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 5 years ago
- LTeX+ Language Server support for Zed☆16Dec 1, 2025Updated 3 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- A Caddy plugin to add gopkg-like functionality to your own web sites☆12Feb 10, 2026Updated 3 weeks ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Import Haskell modules in Python as if they were native modules☆12Mar 30, 2021Updated 4 years ago
- Source for the unisonweb.org website☆39Apr 11, 2023Updated 2 years ago
- python client for Zanata☆21Jul 4, 2025Updated 8 months ago
- A Matrix bot to use grep for searching in large messages☆12Aug 13, 2019Updated 6 years ago
- Lean 4 bindings to libcurl☆13Feb 3, 2026Updated last month
- ☆14May 18, 2024Updated last year
- Suggests workspace files and MarkDown file headers in MarkDown links☆14Apr 14, 2022Updated 3 years ago
- Github mirror of "analytics/kafkatee" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access…☆20Nov 23, 2023Updated 2 years ago
- x86 virtualization in your browser, recompiling x86 to wasm on the fly☆12Jan 29, 2023Updated 3 years ago