- Idris: https://www.idris-lang.org/ - clip.cpp: https://github.com/monatis/clip...

		montyanderson on Dec 2, 2023 \| parent \| context \| favorite \| on: Ask HN: What are some unpopular technologies you w... - Idris: https://www.idris-lang.org/ - clip.cpp: https://github.com/monatis/clip.cpp - trurl: https://github.com/curl/trurl - cosmopolitan: https://github.com/jart/cosmopolitan - signalcli: https://github.com/AsamK/signal-cli