Repos by advancedresearch

advancedresearch / repos

63 repos

	Repo	Language	Stars	Rank
	path_semantics	Rust	160	5,457
	poi	Rust	136	6,084
	avalog	Rust	64	10,466
	prop	Rust	58	11,196
	monotonic_solver	Rust	44	13,590
	pocket_prover	Rust	35	15,829
	mix_economy	Rust	33	16,485
	linear_solver	Rust	32	16,761
	tree_mem_sort	Rust	24	20,246
	quickbacktrack	Rust	22	21,665