Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ildyria
A curated list of projects in awesome lists by ildyria .
https://github.com/ildyria/bib.py
Simple script to align and check your file.bib.
Last synced: 06 Nov 2024
https://github.com/ildyria/laptop-setup-ansible
Automation of redeployment in case of Disaster Recovery 🤯
Last synced: 06 Nov 2024
https://github.com/ildyria/coq-verif-tweetnacl
mirror of https://gitlab.science.ru.nl/benoit/tweetnacl
Last synced: 06 Nov 2024
https://github.com/ildyria/bot-discord-canon
Just something I came up with for fun.
Last synced: 06 Nov 2024
https://github.com/ildyria/opam-repository
Personal opam repository because it is easier to track my own package...
Last synced: 06 Nov 2024
https://github.com/ildyria/simsoc-cert
https://gforge.inria.fr/projects/simsoc-cert/
Last synced: 06 Nov 2024