Repos by informalsystems

informalsystems / repos

84 repos

	Repo	Language	Stars	Rank
	quint	TypeScript	607	5,099
	tendermint-rs	Rust	587	2,023
	hermes	Rust	429	2,613
	apalache	Scala	416	432
	atomkraft	Python	77	75,722
	modelator	Python	52	103,720
	cosmos.nix	Nix	52	508
	basecoin-rs	Rust	51	12,614
	tm-load-test	Go	47	27,150
	themis-contract	Go	45	27,825