-
13:06
(UTC +08:00) - in/thing-han-lim
Lists (3)
Sort Name ascending (A-Z)
Stars
Manage system config using nix on any distro
Nix flake and overlay for ESP8266 and ESP32 development.
A syntax-highlighting pager for git, diff, grep, and blame output
Lean 4 programming language and theorem prover
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
The Github Action for the Determinate Nix Installer
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
Automatically refresh your Nix Flakes.
Blazingly π₯ fast π memory vulnerabilities, written in 100% safe Rust. π¦
A new markup-based typesetting system that is powerful and easy to learn.
π₯ Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
Establish good command workflow and quit bad habit
Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
Code for "Zero To Production In Rust", a book on API development using Rust.
Fullstack app framework for web, desktop, mobile, and more.
Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
A terminal workspace with batteries included
A Scalable, User-Friendly Source Control System.
Vim-fork focused on extensibility and usability
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.