Trending

See what the GitHub community is most excited about today.

  1. Verification system for effectful programs

    F* 1,359 115 Built by @nikswamy @mtzguido @aseemr @catalin-hritcu @msprotz
  2. Verified implementation of TLS 1.3 in F*

    F* 94 11 Built by @s-zanella @tahina-pro @nikswamy @ad-l @fournet
  3. Contract examples

    F* 6 3 Built by @A-Manning @somdoron @SharonU
  4. Content repository for hifi-docs on Grav

    F* 4 58 Built by @nimisha20 @MiladNazeri @asbecker8 @ingerjm0 @starphys
  5. Bioinformatics tool to find integrons in bacterial genomes

    F* 3 8 Built by @bneron @jeanrjc @asetGem @khillion
  6. Morphological processing for languages of the Horn of Africa

    F* 2 3 Built by @megasser
  7. Fault-tolerant distributed algorithms encoded in a formal language

    F* 2 2 Built by @konnov
  8. Computer-assisted translation between resource-rich and resource-poor languages

    F* 1 Built by @megasser
  9. ሚጥሚጣ: Assistant for Amharic-English Translation

    F* 1 Built by @megasser
  10. [WIP] Writing low* code to implement dlists

    F* 1 Built by @jaybosamiya
  11. Improve Tesseract OCR for Tigrinya (tir)

    F* 1 Built by @babraham123
  12. F* Built by @DalekHax
  13. Verification system for effectful programs

    F* 115 Built by @nikswamy @mtzguido @aseemr @catalin-hritcu @msprotz
  14. Morphological analysis and generation

    F* Built by @megasser
  15. Content repository for hifi-docs on Grav

    F* 58 Built by @nimisha20 @MiladNazeri @asbecker8 @ingerjm0 @starphys
  16. F* Built by @MrMallIronmaker @tobinasher @sarinawu @androoying
  17. F* Built by @winningbackzelda
  18. Verification system for effectful programs

    F* 115 Built by @nikswamy @mtzguido @aseemr @catalin-hritcu @msprotz
  19. A few things for playing around in VR.

    F* Built by @deryckh
  20. Verification system for effectful programs

    F* 115 Built by @nikswamy @mtzguido @aseemr @catalin-hritcu @msprotz
  21. F* Built by @Frosne
  22. F* Built by @cheramiestudios
  23. Content repository for hifi-docs on Grav

    F* 58 Built by @nimisha20 @MiladNazeri @asbecker8 @ingerjm0 @starphys
  24. F* Built by @lgs85
  25. Liv's Avatars for High Fidelity

    F* 2 Built by @misslivirose
Other Languages
ProTip! Looking for most starred F* repositories? Try this search