计算机科学libraryIdris

idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

182 stars26 forks1 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

287,539

computer-science

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

203,162

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

47,334

black

The uncompromising Python code formatter

41,477

keycloak

Open Source Identity and Access Management For Modern Applications and Services

34,014

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.

32,997