返回计算机科学

计算机科学libraryLean

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

340 stars7 forks3 issuesNOASSERTION更新于 2026/6/7

暂无详细内容

同类推荐

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.