verification

Languages

Language	Repos	Stars
all	63	6,453
F*	2	2,317
Rust	2	1,897
TeX	1	1,408
OCaml	3	619
VHDL	1	561
Coq	11	289
Assembly	1	214
Haskell	1	185
Isabelle	5	152
Verilog	1	116
MATLAB	1	74
SystemVerilog	9	57
QMake	1	28
Common Lisp	1	27
Racket	1	26
Solidity	1	23
Lean	4	23
Agda	3	22
Boogie	1	17
Tcl	1	16
Dafny	3	13
SMT	3	6
SWIG	1	5
Prolog	1	4
TLA	1	3
Promela	1	3
E	1	3
Ada	1	3
Alloy	1	2
Xtend	2	1
LLVM	1	0

Repos

	Rank	Repo	Stars	Language	Developer
	1	FStar	2,397	F*	FStarLang
	2	prusti-dev	1,238	Rust	viperproject
	3	kani	956	Rust	model-checking
	4	vunit	598	VHDL	VUnit
	5	ed25519-dalek	596	Rust	dalek-cryptography
	6	karamel	349	OCaml	FStarLang
	7	core-v-verif	283	Assembly	openhwgroup
	8	scilla	238	OCaml	Zilliqa
	9	sbv	197	Haskell	LeventErkok
	10	cpachecker	181	Java	sosy-lab
	11	cogent	152	Isabelle	au-ts
	12	async_fifo	133	Verilog	dpretet
	13	perennial	99	Coq	mit-pdos
	14	nnv	78	MATLAB	verivital
	15	vericert	69	Coq	ymherklotz
	16	qcert	52	Coq	querycert
	17	pycoq	44	OCaml	ejgallego
	18	OsvvmLibraries	35	QMake	OSVVM
	19	cafeobj	29	Common Lisp	CafeOBJ
	20	free-proving	27	Coq	ichistmeinname
	21	serval-sosp19	26	Racket	uw-unsat
	22	Software-Analysis-PAVT	19	Boogie	codersguild
	23	daisy-nfsd	18	Dafny	mit-pdos
	24	teaching-concurrency	18	Coq	dricketts
	25	agda-c	14	Agda	jmlowenthal
	26	ExtremeDV_UVM	14	SystemVerilog	zhajio1988
	27	uvm_tb_cross_bar	14	SystemVerilog	yuravg
	28	katamaran	13	Coq	katamaran-project
	29	linear	11	Lean	ssomayyajula
	30	argosy	10	Coq	mit-pdos
	31	Single-Cycle-Processor	10	SystemVerilog	tianrenz2
	32	regexp-agda	8	Agda	joom
	33	ssl-htt	8	Coq	TyGuS
	34	uvmBasics	7	SystemVerilog	adibis
	35	iris-c-coq	7	Coq	izgzhen
	36	qmaxuse	7	SMT	classicwuhao
	37	uvm-phase-jumping	6	SystemVerilog	PedroHSCavalcante
	38	SESL	5	SWIG	SpencerL-Y
	39	alu_tb	5	SystemVerilog	adibis
	40	lean-lib	5	Lean	unitb
	41	LC3-Verification	5	SystemVerilog	kbbuch
	42	vergo	4	Prolog	jens-classen
	43	alloy-exercises	4	Alloy	huanhulan
	44	SystemVerilog_CalC	4	SystemVerilog	dhaivat7
	45	coq-array	4	Coq	tchajed
	46	temporal-logic	4	Lean	unitb
	47	VM_Verification	4	SystemVerilog	ogvalt
	48	Doubly-Linked-List-VST	3	Coq	junqi-xie
	49	website	3	Promela	seL4
	50	curve25519-spark2014	3	Ada	joffreyhuguet
	51	unitb-semantics	3	Lean	unitb
	52	safe-tla	3	TLA	michaelsproul
	53	specman-sublime-grammar	3	E	tsvi
	54	CamelClone	2	Coq	Gopiandcode
	55	coq-transitions	2	Coq	tchajed
	56	IPL	1	Xtend	bisc
	57	verification	1	Isabelle	go-pluto
	58	VerifiedCompiler	1	Agda	sudonatalie
	59	paxos_proof	0	Dafny	TonyZhangND
	60
	61	OpenJML-Quantifiers	0	SMT	OpenJML-SeniorDesign
	62	monpoly	0	Isabelle	remolueoend
	63	Ge-SpMM_Julia_test	0	LLVM	osterhoutan-UofU
	64	SaverECS	0	SMT	saverecs
	65	Dafny-AVL-Tree	0	Dafny	rposchinger
	66	Stateful_Protocol_Composition_and_Typing	0	Isabelle	logicalhacking
	67	Wys-ckt	0	F*	YuXinFan
	68	veca-ide	0	Xtend	pascalpoizat
	69	formal-verification	0	Isabelle	NoxChimaera
	70	IsaCrypt	0	Isabelle	dominique-unruh