"formal" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
Kindelia/Kind	Rust	3.3k	+12	125	+1
hacl-star/hacl-star	F*CPython	1.5k	+11	157	0
leanprover-community/mathlib	LeanOther	1.6k	+4	303	0
hacspec/hacspec	CoqRustF*	227	+2	43	+1
mo271/formal_book	Lean	29	+1	4	0
project-everest/hacl-star	F*CPython	1.5k	0	157	0
seL4/l4v	IsabelleStandard MLHaskell	470	0	100	0
ucb-bar/chiseltest	ScalaC++Verilog	167	0	63	0
fernandocar86/seminario-gramaticas-formales	GAPPrologJupyter Notebook	7	0	18	0
JuliaReach/ReachabilityAnalysis.jl	Julia	183	0	15	0
spacejam/sled	RustOther	7.3k	0	359	0
AthenaFoundation/athena	Standard MLHTMLEmacs Lisp	55	0	3	0
CakeML/cakeml	Standard MLOCamlHaskell	855	0	76	0
PrincetonUniversity/VST	CoqCOCaml	398	0	87	0
magmide/magmide	CoqRustOther	776	0	12	0
JuliaReach/LazySets.jl	Julia	215	0	31	0
ElliotSwart/pragmaticformalmodeling	TLAHTMLSCSS	38	0	2	0
sifive/ProcKami	CoqMakefile	23	0	4	0
sifive/RiscvSpecFormal	HaskellShellC++	72	0	7	0
hwayne/learntla-v2	TLAPythonPowerShell	143	0	34	0
input-output-hk/formal-ledger-specifications	AgdaTeXNix	18	0	10	0
imandra-ai/fix-engine	OCamlOther	47	0	3	0
stepchowfun/proofs	CoqRubyMakefile	274	0	10	0
LogicalAtomist/principia	TeXCoq	196	0	5	0
leonardoalt/yools	SMTRustYul	133	0	4	0

formal