Public Git Hosting - why3.git/tree

drwxr-xr-x		..
-rw-r--r--	457	TODO	blob \| blame \| history \| raw
drwxr-xr-x	-	WP_revisited	tree \| history
-rw-r--r--	1789	add_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	add_list	tree \| history
-rw-r--r--	1833	add_list_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	add_list_vc_sp	tree \| history
-rw-r--r--	2918	algo63.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo63	tree \| history
-rw-r--r--	1690	algo64.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo64	tree \| history
-rw-r--r--	1787	algo65.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo65	tree \| history
-rw-r--r--	1060	all_distinct.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	all_distinct	tree \| history
-rw-r--r--	1866	amortization.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	amortization	tree \| history
-rw-r--r--	3281	anagrammi.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	anagrammi	tree \| history
-rw-r--r--	2893	arm.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	arm	tree \| history
-rw-r--r--	990	array_most_frequent.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	array_most_frequent	tree \| history
-rw-r--r--	1910	array_of_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	array_of_list	tree \| history
-rw-r--r--	1111	assigning_meanings_to_programs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	assigning_meanings_to_programs	tree \| history
drwxr-xr-x	-	avl	tree \| history
-rw-r--r--	5211	bag.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bag	tree \| history
-rw-r--r--	9141	balance.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	balance	tree \| history
-rw-r--r--	12680	bellman_ford.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bellman_ford	tree \| history
-rwxr-xr-x	1644	bench.sh	blob \| blame \| history \| raw
-rw-r--r--	2126	bignum.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bignum	tree \| history
-rw-r--r--	1704	binary_multiplication.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_multiplication	tree \| history
-rw-r--r--	6331	binary_search.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_search	tree \| history
-rw-r--r--	4076	binary_search_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_search_vc_sp	tree \| history
-rw-r--r--	2358	binary_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_sort	tree \| history
-rw-r--r--	1369	binary_sqrt.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_sqrt	tree \| history
-rw-r--r--	1441	binomial.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binomial	tree \| history
-rw-r--r--	8822	binomial_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binomial_heap	tree \| history
-rw-r--r--	16591	bitcount.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitcount	tree \| history
-rw-r--r--	10139	bitvector_examples.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitvector_examples	tree \| history
drwxr-xr-x	-	bitvectors	tree \| history
-rw-r--r--	12448	bitwalker.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitwalker	tree \| history
-rw-r--r--	6878	braun_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	braun_trees	tree \| history
-rw-r--r--	1678	bresenham.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bresenham	tree \| history
drwxr-xr-x	-	bts	tree \| history
-rw-r--r--	1600	bubble_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bubble_sort	tree \| history
drwxr-xr-x	-	c_cursor	tree \| history
drwxr-xr-x	-	check-builtin	tree \| history
-rw-r--r--	1559	checking_a_large_routine.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	checking_a_large_routine	tree \| history
-rw-r--r--	4138	coincidence_count.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	coincidence_count	tree \| history
-rw-r--r--	2667	coincidence_count_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	coincidence_count_list	tree \| history
-rw-r--r--	5286	conjugate.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	conjugate	tree \| history
-rw-r--r--	4408	counting_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	counting_sort	tree \| history
-rw-r--r--	699	cubic_root.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	cubic_root	tree \| history
-rw-r--r--	5457	cursor_examples.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	cursor_examples	tree \| history
-rw-r--r--	1646	decrease1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	decrease1	tree \| history
-rw-r--r--	26389	defunctionalization.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	defunctionalization	tree \| history
-rw-r--r--	2438	dfa_example.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dfa_example	tree \| history
-rw-r--r--	3143	dfs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dfs	tree \| history
-rw-r--r--	6996	dijkstra.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dijkstra	tree \| history
-rw-r--r--	2558	disamb.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	disamb	tree \| history
-rw-r--r--	2091	division.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	division	tree \| history
drwxr-xr-x	-	doc_examples	tree \| history
drwxr-xr-x	-	double_wp	tree \| history
-rw-r--r--	2191	dyck.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dyck	tree \| history
-rw-r--r--	4859	edit_distance.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	edit_distance	tree \| history
-rw-r--r--	2195	equality_up_to_spaces.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	equality_up_to_spaces	tree \| history
-rw-r--r--	2471	esterel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	esterel	tree \| history
-rw-r--r--	4524	euler001.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler001	tree \| history
-rw-r--r--	2769	euler002.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler002	tree \| history
-rw-r--r--	7467	euler011.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler011	tree \| history
-rw-r--r--	43223	euler_sieve.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler_sieve	tree \| history
-rw-r--r--	468	ewd673.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	ewd673	tree \| history
-rw-r--r--	1245	f_puzzle.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	f_puzzle	tree \| history
-rw-r--r--	856	fact.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fact	tree \| history
-rw-r--r--	882	fact_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fact_vc_sp	tree \| history
-rw-r--r--	4354	fenwick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fenwick	tree \| history
-rw-r--r--	934	fib_memo.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fib_memo	tree \| history
-rw-r--r--	10433	fibonacci.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fibonacci	tree \| history
-rw-r--r--	954	fill.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fill	tree \| history
-rw-r--r--	2685	find.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	find	tree \| history
-rw-r--r--	1905	finger_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	finger_trees	tree \| history
-rw-r--r--	1731	finite_tarski.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	finite_tarski	tree \| history
-rw-r--r--	1441	flag.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	flag	tree \| history
-rw-r--r--	3991	flag2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	flag2	tree \| history
-rw-r--r--	6480	flexible_arrays.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	flexible_arrays	tree \| history
drwxr-xr-x	-	foveoos11-cm	tree \| history
-rw-r--r--	690	foveoos11_challenge1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge1	tree \| history
-rw-r--r--	903	foveoos11_challenge2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge2	tree \| history
-rw-r--r--	1623	foveoos11_challenge3.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge3	tree \| history
-rw-r--r--	2987	gcd.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd	tree \| history
-rw-r--r--	980	gcd_bezout.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_bezout	tree \| history
-rw-r--r--	989	gcd_bezout_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_bezout_vc_sp	tree \| history
-rw-r--r--	3034	gcd_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_vc_sp	tree \| history
-rw-r--r--	2753	generate_all_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	generate_all_trees	tree \| history
-rw-r--r--	700	gnome_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gnome_sort	tree \| history
-rw-r--r--	11581	hackers-delight.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hackers-delight	tree \| history
-rw-r--r--	4990	hashtbl_impl.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hashtbl_impl	tree \| history
-rw-r--r--	102	hello-world.mlw	blob \| blame \| history \| raw
-rw-r--r--	8301	hillel_challenge.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hillel_challenge	tree \| history
-rw-r--r--	2735	huffman_with_two_queues.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	huffman_with_two_queues	tree \| history
-rw-r--r--	1447	i_cant_believe_it_can_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	i_cant_believe_it_can_sort	tree \| history
-rw-r--r--	481	incremental.mlw	blob \| blame \| history \| raw
-rw-r--r--	1868	induction.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	induction	tree \| history
-rw-r--r--	1083	infinity_of_primes.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	infinity_of_primes	tree \| history
-rw-r--r--	4633	insertion_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort	tree \| history
-rw-r--r--	837	insertion_sort_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort_list	tree \| history
-rw-r--r--	5342	insertion_sort_naive.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort_naive	tree \| history
-rw-r--r--	3021	inverse_in_place.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	inverse_in_place	tree \| history
-rw-r--r--	2017	isqrt.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	isqrt	tree \| history
-rw-r--r--	8177	isqrt_von_neumann.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	isqrt_von_neumann	tree \| history
-rw-r--r--	8118	just_join.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	just_join	tree \| history
-rw-r--r--	8350	kleene_algebra.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	kleene_algebra	tree \| history
-rw-r--r--	4930	kmp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	kmp	tree \| history
-rw-r--r--	4013	knuth_prime_numbers.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	knuth_prime_numbers	tree \| history
-rw-r--r--	19496	koda_ruskey.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	koda_ruskey	tree \| history
-rw-r--r--	2650	largest_prime_factor.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	largest_prime_factor	tree \| history
-rw-r--r--	1014	lcp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	lcp	tree \| history
-rw-r--r--	5839	leftist_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	leftist_heap	tree \| history
-rw-r--r--	11320	linear_probing.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	linear_probing	tree \| history
-rw-r--r--	19596	linked_list_rev.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	linked_list_rev	tree \| history
-rw-r--r--	6020	list_removal.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	list_removal	tree \| history
-rw-r--r--	600	locate_max.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	locate_max	tree \| history
drwxr-xr-x	-	logic	tree \| history
-rw-r--r--	3021	longest_increasing_subsequence.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	longest_increasing_subsequence	tree \| history
-rw-r--r--	6731	max_matrix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	max_matrix	tree \| history
-rw-r--r--	12003	maximum_subarray.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	maximum_subarray	tree \| history
-rw-r--r--	7755	mccarthy.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mccarthy	tree \| history
-rw-r--r--	3716	mccarthy_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mccarthy_vc_sp	tree \| history
-rw-r--r--	9973	mergesort_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_array	tree \| history
-rw-r--r--	9522	mergesort_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_list	tree \| history
-rw-r--r--	2434	mergesort_queue.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_queue	tree \| history
-rw-r--r--	4498	mex.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mex	tree \| history
drwxr-xr-x	-	micro-c	tree \| history
-rw-r--r--	2563	min_max.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	min_max	tree \| history
-rw-r--r--	1941	mjrty.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mjrty	tree \| history
drwxr-xr-x	-	mlcfg	tree \| history
-rw-r--r--	797	muller.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	muller	tree \| history
drwxr-xr-x	-	multiprecision	tree \| history
-rw-r--r--	758	mutual_recursion.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mutual_recursion	tree \| history
-rw-r--r--	1109	my_cosine.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	my_cosine	tree \| history
-rw-r--r--	1478	nistonacci.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	nistonacci	tree \| history
drwxr-xr-x	-	numeric	tree \| history
-rw-r--r--	2295	optimal_replay.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	optimal_replay	tree \| history
-rw-r--r--	8874	pairing_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pairing_heap	tree \| history
-rw-r--r--	6098	pairing_heap_bin.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pairing_heap_bin	tree \| history
-rw-r--r--	1868	pancake_sorting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pancake_sorting	tree \| history
-rw-r--r--	28107	patience.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	patience	tree \| history
-rw-r--r--	888	pigeonhole.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pigeonhole	tree \| history
-rw-r--r--	1372	power.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	power	tree \| history
-rw-r--r--	934	power_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	power_vc_sp	tree \| history
-rw-r--r--	2921	proper_cuts.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	proper_cuts	tree \| history
drwxr-xr-x	-	prover	tree \| history
drwxr-xr-x	-	python	tree \| history
-rw-r--r--	5502	queens.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	queens	tree \| history
-rw-r--r--	11302	queens_bv.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	queens_bv	tree \| history
-rw-r--r--	4381	queue_two_lists.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	queue_two_lists	tree \| history
-rw-r--r--	7387	quicksort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	quicksort	tree \| history
-rw-r--r--	8056	random_access_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	random_access_list	tree \| history
-rw-r--r--	486	reduced_regtests.list	blob \| blame \| history \| raw
-rw-r--r--	8855	register_allocation.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	register_allocation	tree \| history
-rw-r--r--	37462	regtests.out	blob \| blame \| history \| raw
-rwxr-xr-x	2991	regtests.sh	blob \| blame \| history \| raw
-rw-r--r--	1421	relabel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	relabel	tree \| history
-rw-r--r--	2064	remove_duplicate.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	remove_duplicate	tree \| history
-rw-r--r--	1773	remove_duplicate_hash.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	remove_duplicate_hash	tree \| history
-rw-r--r--	2577	residual.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	residual	tree \| history
-rw-r--r--	4596	resizable_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	resizable_array	tree \| history
-rw-r--r--	909	rightmostbittrick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	rightmostbittrick	tree \| history
-rw-r--r--	1312	ring_buffer.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	ring_buffer	tree \| history
drwxr-xr-x	-	ring_decision	tree \| history
-rw-r--r--	11527	ropes.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	ropes	tree \| history
-rw-r--r--	2419	same_fringe.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	same_fringe	tree \| history
-rw-r--r--	12277	schorr_waite.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite	tree \| history
-rw-r--r--	12718	schorr_waite_via_recursion.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite_via_recursion	tree \| history
-rw-r--r--	9560	schorr_waite_with_ghost_monitor.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite_with_ghost_monitor	tree \| history
-rw-r--r--	4381	search.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	search	tree \| history
-rw-r--r--	1624	selection_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	selection_sort	tree \| history
-rw-r--r--	3638	sf.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sf	tree \| history
-rw-r--r--	1948	sieve.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sieve	tree \| history
-rw-r--r--	5008	skew_heaps.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	skew_heaps	tree \| history
-rw-r--r--	4082	snapshotable_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	snapshotable_trees	tree \| history
-rw-r--r--	454	sorted_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sorted_list	tree \| history
-rw-r--r--	6575	space_saving.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	space_saving	tree \| history
-rw-r--r--	6224	split_string.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	split_string	tree \| history
drwxr-xr-x	-	stackify	tree \| history
drwxr-xr-x	-	stdlib	tree \| history
-rw-r--r--	13707	string_base64_encoding.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	string_base64_encoding	tree \| history
-rw-r--r--	3162	string_hex_encoding.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	string_hex_encoding	tree \| history
-rw-r--r--	5695	string_search.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	string_search	tree \| history
-rw-r--r--	1420	subsequence.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	subsequence	tree \| history
-rw-r--r--	23973	sudoku.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sudoku	tree \| history
-rw-r--r--	12427	sumrange.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sumrange	tree \| history
-rw-r--r--	1820	swap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	swap	tree \| history
drwxr-xr-x	-	tests-provers	tree \| history
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	2657	there_and_back_again.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	there_and_back_again	tree \| history
-rw-r--r--	4657	three_idem_ring.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	three_idem_ring	tree \| history
-rw-r--r--	7058	topological_sorting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	topological_sorting	tree \| history
-rw-r--r--	5488	tortoise_and_hare.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tortoise_and_hare	tree \| history
-rw-r--r--	3092	tower_of_hanoi.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tower_of_hanoi	tree \| history
-rw-r--r--	2299	toy_compiler.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	toy_compiler	tree \| history
-rw-r--r--	7261	tree_height.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_height	tree \| history
-rw-r--r--	1177	tree_of_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_of_array	tree \| history
-rw-r--r--	1291	tree_of_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_of_list	tree \| history
-rw-r--r--	3400	unraveling_a_card_trick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	unraveling_a_card_trick	tree \| history
drwxr-xr-x	-	use_api	tree \| history
drwxr-xr-x	-	vacid_0_binary_heaps	tree \| history
-rw-r--r--	4940	vacid_0_build_maze.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_build_maze	tree \| history
-rw-r--r--	9898	vacid_0_red_black_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_red_black_trees	tree \| history
-rw-r--r--	4414	vacid_0_sparse_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_sparse_array	tree \| history
-rw-r--r--	3754	verifythis_2015_dancing_links.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_dancing_links	tree \| history
-rw-r--r--	7856	verifythis_2015_parallel_gcd.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_parallel_gcd	tree \| history
-rw-r--r--	4133	verifythis_2015_relaxed_prefix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_relaxed_prefix	tree \| history
drwxr-xr-x	-	verifythis_2016_matrix_multiplication	tree \| history
-rw-r--r--	25187	verifythis_2016_tree_traversal.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2016_tree_traversal	tree \| history
-rw-r--r--	3568	verifythis_2017_maximum_sum_submatrix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_maximum_sum_submatrix	tree \| history
-rw-r--r--	4929	verifythis_2017_odd_even_sort_rearranging.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_odd_even_sort_rearranging	tree \| history
-rw-r--r--	3190	verifythis_2017_odd_even_transposition_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_odd_even_transposition_sort	tree \| history
-rw-r--r--	4289	verifythis_2017_pair_insertion_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_pair_insertion_sort	tree \| history
-rw-r--r--	4759	verifythis_2017_tree_buffer.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_tree_buffer	tree \| history
-rw-r--r--	6719	verifythis_2018_array_based_queuing_lock_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_array_based_queuing_lock_1	tree \| history
-rw-r--r--	19752	verifythis_2018_array_based_queuing_lock_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_array_based_queuing_lock_2	tree \| history
-rw-r--r--	12706	verifythis_2018_le_rouge_et_le_noir_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_le_rouge_et_le_noir_1	tree \| history
-rw-r--r--	7333	verifythis_2018_le_rouge_et_le_noir_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_le_rouge_et_le_noir_2	tree \| history
-rw-r--r--	2448	verifythis_2018_mind_the_gap_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_mind_the_gap_1	tree \| history
-rw-r--r--	3088	verifythis_2018_mind_the_gap_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_mind_the_gap_2	tree \| history
-rw-r--r--	8216	verifythis_2018_register_allocation.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_register_allocation	tree \| history
-rw-r--r--	13293	verifythis_2019_cartesian_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2019_cartesian_trees	tree \| history
-rw-r--r--	12577	verifythis_2019_ghc_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2019_ghc_sort	tree \| history
-rw-r--r--	6937	verifythis_2021_dll_to_bst.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2021_dll_to_bst	tree \| history
-rw-r--r--	12610	verifythis_2021_lexicographic_permutations_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2021_lexicographic_permutations_1	tree \| history
-rw-r--r--	15239	verifythis_2021_lexicographic_permutations_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2021_lexicographic_permutations_2	tree \| history
-rw-r--r--	23203	verifythis_2021_shearsort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2021_shearsort	tree \| history
-rw-r--r--	6528	verifythis_2021_shearsort_modified.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2021_shearsort_modified	tree \| history
-rw-r--r--	7473	verifythis_PrefixSumRec.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_PrefixSumRec	tree \| history
-rw-r--r--	15358	verifythis_fm2012_LRS.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_fm2012_LRS	tree \| history
-rw-r--r--	8035	verifythis_fm2012_treedel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_fm2012_treedel	tree \| history
-rw-r--r--	1542	vstte10_aqueue.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_aqueue	tree \| history
-rw-r--r--	1896	vstte10_inverting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_inverting	tree \| history
-rw-r--r--	1953	vstte10_max_sum.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_max_sum	tree \| history
-rw-r--r--	6410	vstte10_queens.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_queens	tree \| history
-rw-r--r--	1825	vstte10_search_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_search_list	tree \| history
-rw-r--r--	4476	vstte12_bfs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_bfs	tree \| history
-rw-r--r--	5933	vstte12_combinators.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_combinators	tree \| history
-rw-r--r--	7571	vstte12_ring_buffer.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_ring_buffer	tree \| history
-rw-r--r--	9733	vstte12_tree_reconstruction.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_tree_reconstruction	tree \| history
-rw-r--r--	1012	vstte12_two_way_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_two_way_sort	tree \| history
-rw-r--r--	1884	warshall_algorithm.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	warshall_algorithm	tree \| history
-rw-r--r--	1397	white_and_black_balls.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	white_and_black_balls	tree \| history
-rw-r--r--	1153	word_common_factor.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	word_common_factor	tree \| history
-rw-r--r--	5908	wrap_lines.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	wrap_lines	tree \| history
-rw-r--r--	2743	zeros.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	zeros	tree \| history