running-grass

Packages

Name Attribute Description
Anytype-0.37.3 nur.repos.running-grass.anytype P2P note-taking tool
idris2-2024-06-18 nur.repos.running-grass.idris2 A purely functional programming language with first class types
idris2-pack-2024-06-18 nur.repos.running-grass.idris2-pack An Idris2 Package Manager with Curated Package Collections
listen1-2.31.0 nur.repos.running-grass.listen1 One for all free music in China
pinentry-rbw-0.1.0 nur.repos.running-grass.pinentry-rbw
postman-latest nur.repos.running-grass.postman API Development Environment