tp

superfunc

Strongly Typed Paths for Idris

unix

View on GitHub

7 Stars

0 Forks

7 Watchers

Idris Language

mit License

Cost to Build

$2.5K

Market Value

$1.6K

How is this calculated?

Growth over time

6 data points · 2021-08-01 → 2023-03-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about tp

Question copied to clipboard

What is the superfunc/tp GitHub project? Description: "Strongly Typed Paths for Idris". Written in Idris. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone tp

Clone via HTTPS

git clone https://github.com/superfunc/tp.git

Clone via SSH

[email protected]:superfunc/tp.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the tp issue tracker:

Open GitHub Issues

Similar to tp

the-art-of-command-line fzf iris libuv shelljs radare2 lynis glfw elvish dumb-init unix-history-repo cross-env data-science-at-the-command-line awesome-command-line-apps pwd.sh oh asciinema-player dotfiles fzy jobber makeself ltp babushka survey nix cpp_redis allegro5 ipt notes Monitorix