Bookmarks Subscriptions Weekly Selections
English 中文
Sign in
  • A dependently typed language for proofs that you can implement in one day

    #HackerNews #github
    0
    Tagging Share to twitter Share to telegram
    hackershare ·

Similar Bookmarks

Show HN: HRConvert2 v2.7 Released

Base 2048

Show HN: Insightful eye-candy for your GitHub repo with Repobeats

Show HN: The Cloud Cost Handbook

Show HN: Enable element transformation between containers

Robotics 501: Mathematics for Robotics

Show HN: AV1 and WebRTC

Show HN: Nimiq Identicons – Cutely generated cartoon identicons

Snaprecovery: Recover old Snaps that have “disappeared” from Snapchat

No Us Without You: elifdef and elifndef

Comments

Empty data

User's Profile

@hackershare
Follow
© 2022 hackershare, Inc. About Blog Open Source