Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by hargoniX

A curated list of projects in awesome lists by hargoniX .

https://github.com/hargoniX/keepassxc-proxy-client

A client for keepassxc-proxy so passwords can easily be requested via CLI

cli crypto keepassxc password python

Last synced: 02 Aug 2024

https://github.com/hargoniX/cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types

Last synced: 09 Aug 2024

https://github.com/hargoniX/Flame

Last synced: 09 Aug 2024

https://github.com/hargoniX/nest-core

Last synced: 09 Aug 2024

https://github.com/hargoniX/obvious

A (for now) logic prover I made for fun because...uni basically.

Last synced: 03 Aug 2024