definfo

Packages

Name Attribute Description
aya-prover-0.38 nur.repos.definfo.aya-prover A proof assistant and a dependently-typed language
aya-prover-0.38 nur.repos.definfo.aya-prover-lsp A proof assistant and a dependently-typed language
lyricer-1.0.3 nur.repos.definfo.lyricer An addon for waybar to display lyrics
rime-ice-2025.04.06 nur.repos.definfo.rime-ice Rime 配置:雾凇拼音
sjtu-canvas-helper-1.3.30 nur.repos.definfo.sjtu-canvas-helper An assistant tool for SJTU Canvas online course platform
smartdns-rs-0.11.1 nur.repos.definfo.smartdns-rs Cross platform local DNS server (Dnsmasq like) written in rust