返回计算机科学

计算机科学libraryHaskell

cryptol

Cryptol: The Language of Cryptography

1,202 stars128 forks272 issuesBSD-3-Clause更新于 2026/4/22

GitHub 仓库项目官网

暂无详细内容

同类推荐

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

computer-science

🎓 Path to a free self-taught education in Computer Science!

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

black

The uncompromising Python code formatter

keycloak

Open Source Identity and Access Management For Modern Applications and Services

certbot

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.