| packages/nur/running-grass.idris2 | A purely functional programming language with first class types |
| packages/nur/foolnotion.boost-hana | Header-only library for C++ metaprogramming suited for computations on both types and values |
| packages/nur/foolnotion.fast-float-6_1_6 | Fast and exact implementation of the C++ from_chars functions for number types |
| packages/nur/wenjinnn.rofi-screenshot-wayland | Use rofi and ffcast to perform various types of screenshots and screen captures |
| packages/nur/rycee.firefox-addons.hls-stream-detector | This addon provides an easy way to keep track of manifests and subtitles used by various streaming protocols |
| packages/nur/xyenon.yaziPlugins.yazi-rs.types | Type definitions for Yazi's Lua API, empowering an efficient plugin development experience |
| packages/nur/kira-bruneau.anytype | Official Anytype client |
| packages/nur/running-grass.anytype | P2P note-taking tool |
| packages/nur/kira-bruneau.anytype-nmh | Native messaging host for the AnyType browser extension |
| packages/nur/kira-bruneau.anytype-heart | Shared library for Anytype clients |
| packages/nur/eggflaw.wally-package-types | Re-export types in Wally package thunks |
| packages/nur/jetcookies.typewords | Practice English, one strike, one step forward |