01
FStarLang/FStar
A Proof-oriented Programming Language
- Stars
- 3.1K
- Forks
- 261
- Pushed
- Today
Search credible GitHub repositories.
Compare adoption and maintenance signals without opening every result.
Current data onlyNo fabricated star growth or “trending” claims.
Ranked results
Best repositories for “language:F*”
Popular ranks GitHub matches by stars. Switch sort to inspect forks or recent maintenance.
GitHub · 54 matches
02
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
- Stars
- 1.8K
- Forks
- 191
- Pushed
- 2mo ago
03
project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
- Stars
- 335
- Forks
- 26
- Pushed
- 3d ago
04
project-everest/mitls-fstar
Verified implementation of TLS 1.3 in F*
- Stars
- 183
- Forks
- 18
- Pushed
- Today
05
cryspen/bertie
Bertie TLS 1.3 Implementation
- Stars
- 137
- Forks
- 5
- Pushed
- 1mo ago
06
gem-pasteur/Integron_Finder
Bioinformatics tool to find integrons in bacterial genomes
- Stars
- 94
- Forks
- 27
- Pushed
- 1y ago
07
OpenFAST/r-test
Collection of regression tests for OpenFAST and its modules, which can also be used as example models. This repository is a submodule of the https://github.com/OpenFAST/openfast/ repository.
- Stars
- 88
- Forks
- 109
- Pushed
- Today
08
signalapp/SparsePostQuantumRatchet
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
- Stars
- 71
- Forks
- 21
- Pushed
- 28d ago
09
freedomofpress/securedrop-protocol
Research and proof of concept to develop the next SecureDrop with end to end encryption.
- Stars
- 62
- Forks
- 5
- Pushed
- Today
10
deepomicslab/SpecImmune
Accurate Typing of Diverse Immune-Related Gene Families from Long-Read Sequencing Data. It can handle HLA, KIR, IG, TCR, CYP gene families. It supports both WGS and amplicon data. It supports PacBio and Nanopore data.
- Stars
- 58
- Forks
- 3
- Pushed
- 5mo ago
11
Inria-Prosecco/StarMalloc
A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
- Stars
- 50
- Forks
- 1
- Pushed
- 3mo ago
12
denismerigoux/rox-star
Rust to F* toolchain
- Stars
- 43
- Forks
- 1
- Pushed
- 7y ago
13
FStarLang/steel
The Steel separation logic library for F*
- Stars
- 40
- Forks
- 7
- Pushed
- 2mo ago
14
FStarLang/AlgoStar
Auto formalization of the CLRS text book
- Stars
- 38
- Forks
- 3
- Pushed
- 1mo ago
15
IEAWindSystems/IEA-3.4-130-RWT
This repository contains the model data of the land-based reference wind turbine developed within IEA Wind Task 37
- Stars
- 26
- Forks
- 13
- Pushed
- 10mo ago
16
verified-HRoT/dice-star
No repository description provided.
- Stars
- 23
- Forks
- 7
- Pushed
- 2y ago
17
s-falke/kittel-koat
KITTeL/KoAT
- Stars
- 21
- Forks
- 9
- Pushed
- 7y ago
18
xthua/bacant
This program is designed for annotation of antimicrobal resistance(AMR), transposon(Tn) and integron(In) in bacteria.
- Stars
- 21
- Forks
- 7
- Pushed
- 5mo ago
19
project-everest/everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
- Stars
- 15
- Forks
- 6
- Pushed
- 1y ago
20
REPROSEC/dolev-yao-star-extrinsic
DY* with extrinsic proofs
- Stars
- 15
- Forks
- 2
- Pushed
- 1mo ago
21
mtzguido/intro-verif-24
Repositorio de la optativa para la FCEIA
- Stars
- 14
- Forks
- 16
- Pushed
- 1y ago
22
konnov/fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
- Stars
- 14
- Forks
- 4
- Pushed
- 5y ago
23
CatalaLang/dates-calc
Formally specified computations on dates
- Stars
- 14
- Forks
- 1
- Pushed
- 4mo ago
24
catalin-hritcu/fstar-course
Program verification with F* course materials
- Stars
- 12
- Forks
- 2
- Pushed
- 7y ago
25
plemey/SARSCoV2origins
A repo with supplementary material for a manuscript on the origin of SARS-CoV-2 origins
- Stars
- 11
- Forks
- 6
- Pushed
- 6y ago
26
FStarLang/kuiper
GPU kernel verification with Pulse
- Stars
- 11
- Forks
- 0
- Pushed
- Today
27
W95Psp/verified-abstract-interpreter
No repository description provided.
- Stars
- 10
- Forks
- 2
- Pushed
- 4y ago
28
fplaunchpad/peepul
Certified implmentations of mergeable replicated data types
- Stars
- 9
- Forks
- 2
- Pushed
- 3y ago
29
FStarLang/pulse-verified-gc
Verified garbage collectors in Pulse
- Stars
- 9
- Forks
- 1
- Pushed
- Today
30
project-windio/wt-digital-twin
Digital twin for an onshore wind turbine
- Stars
- 9
- Forks
- 1
- Pushed
- 2y ago