19 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yannick Moy	a70c41ae79	Revert "first version" ... This reverts commit 6beebdb6d0.	2023-04-22 10:32:39 +02:00
Yannick Moy	6beebdb6d0	first version	2023-04-22 10:31:11 +02:00
Yannick Moy	e5332bfc2a	Complete project files	2023-04-22 06:39:25 +02:00
Yannick Moy	47a8577d0d	Add missing loop variant	2023-04-22 06:39:18 +02:00
yannickmoy	2538ad63da	Add Apache-2.0 license	2023-04-21 11:10:31 +02:00
Yannick Moy	e80ae995ee	Add info on contribbuting	2023-03-25 14:41:18 +01:00
Yannick Moy	6ac4dca80c	typo	2023-03-21 17:20:06 +01:00
Yannick Moy	68d151e61f	Update README	2023-03-21 16:55:00 +01:00
Yannick Moy	6f16b11e37	Fix project name	2023-03-21 16:34:04 +01:00
Yannick Moy	5ecfe0ea6f	Adapt sort for unconstrained arrays	2023-03-21 11:59:04 +01:00
Yannick Moy	8cce803302	Add quicksort algo	2023-03-21 11:22:29 +01:00
Yannick Moy	09fb662a20	Add selection sort	2023-03-21 10:18:38 +01:00
Yannick Moy	6306351cee	Add Dutch National Flag algo	2023-03-20 18:11:14 +01:00
Yannick Moy	9baba186f1	Add search algos	2023-03-20 14:49:20 +01:00
Yannick Moy	2843c534b8	Add proof of AST	2023-03-20 11:14:46 +01:00
Yannick Moy	a431c32baf	Add Fibonacci squared	2023-03-16 21:25:54 +01:00
Yannick Moy	02d5168565	Add unary numbers	2023-03-16 20:38:05 +01:00
Yannick Moy	883851bc27	Add first example in SPARK	2023-03-14 11:43:01 +01:00
couraillon	a66f5ae8f8	Initial commit	2023-03-14 10:51:47 +01:00