Lists (7)
Stars
NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Pants, Buck2, Reclient, and other RE-compatible build systems. It offers drastically fa…
A PULP SoC for education, easy to understand and extend with a full flow for a physical design.
Pomodoro for Garmin devices using Connect IQ
A hardware-optimized high-quality pseudorandom number generator
A new markup-based typesetting system that is powerful and easy to learn.
Fine-grained Haskell builds with Nix's dynamic derivations
Automated nginx proxy for Docker containers using docker-gen
Video solution for sport analysis. Capture, inspect, compare, annotate and measure technical performances.
A nix-based nvim package manager that supports a normal config directory ... that can easily output mulitiple configured packages! (with example config(s) and in-editor help)
Collection of DOs and DON'Ts for modern Neovim Lua plugin development
LTeX+: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others
Automate the process of making money online.
KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)
My dotfiles synced from localhost and remote machines
My NixOS configuration flake that moggs yours in term of eval times
Simple utility to debloat Windows in 2 clicks.
LTeX+ Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others
Flipper Zero Unleashed Firmware
Some tools I used for making Windows 11 look nice.
Project to generate POS tag dictionary for Ukrainian language