Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by tani
A curated list of projects in awesome lists by tani .
https://github.com/tani/vim-jetpack
The lightning-fast plugin manager, alternative to vim-plug
neovim neovim-plugin vim vim-plugin
Last synced: 06 Aug 2024
https://github.com/tani/ddc-path
Path completion for ddc.vim. This source collects path names with GNU find or sharkdp/fd.
Last synced: 31 Jul 2024
https://github.com/tani/wikibox
Modern and Simple CMS inspired by MDWiki
cms common-lisp vue wiki-engine
Last synced: 01 Aug 2024
https://github.com/tani/solv
IPC/CPC theorem prover in Prolog
logic prolog tableau theorem-prover theorem-proving
Last synced: 31 Jul 2024