fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
*	Specified implementation in coq	Felipe Bañados Schwerter	2022-10-24
\|
*	Make name sorting independent of case	braxtonhall	2022-10-24
\|
*	Merge pull request #18 from lizard-business/maude-ats	Braxton Hall	2022-10-24
\|\ \| \| \| \|	add maude & ATS
\| *	add maude & ATS	rhiannon morris	2022-10-24
\| \|
* \|	Merge pull request #17 from adirar111/main	Braxton Hall	2022-10-24
\|\ \ \| \|/ \|/\|	wasm
\| *	handle negative	Aymen Dirar	2022-10-24
\| \|
\| *	comment	Aymen Dirar	2022-10-24
\| \|
\| *	update `people.json`	Aymen Dirar	2022-10-24
\| \|
\| *	wasm lol	Aymen Dirar	2022-10-24
\|/
*	Update README.md	Braxton Hall	2022-10-24
\|
*	Merge branch 'main' of github.com:braxtonhall/fib into main	braxtonhall	2022-10-24
\|\
\| *	Create pull_request_template.md	Braxton Hall	2022-10-24
\| \|
* \|	Remove silly console log	braxtonhall	2022-10-24
\|/
*	Update HTML	braxtonhall	2022-10-24
\|
*	Sort entries, use correct URL for people	braxtonhall	2022-10-24
\|
*	Merge branch 'main' of github.com:braxtonhall/fib into main	braxtonhall	2022-10-24
\|\
\| *	Merge pull request #16 from perryliao/main	Braxton Hall	2022-10-24
\| \|\ \| \| \| \| \| \|	whops
\| \| *	validation should probably come first lol	Perry Liao	2022-10-24
\| \| \|
\| \| *	make only 1 wc call	Perry Liao	2022-10-24
\| \| \|
* \| \|	Migrate contributors to static html	braxtonhall	2022-10-24
\|/ /
* \|	Merge pull request #15 from meghasinghania22/main	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	bash: add fib function
\| * \|	bash: add fib function	Megha Singhania	2022-10-24
\| \| \|
* \| \|	Merge pull request #14 from perryliao/main	Braxton Hall	2022-10-24
\|\ \ \ \| \| \|/ \| \|/\|	lemme see your groovy
\| * \|	Create Jenkins groovy pipeline for fib	Perry Liao	2022-10-24
\| \| \|
* \| \|	Merge pull request #13 from ionathanch/main	Braxton Hall	2022-10-24
\|\ \ \ \| \|_\|/ \|/\| \|	Fortran :) (also moved my Agda file up a dir)
\| * \|	Fortran :) (also moved my Agda file up a dir)	Jonathan Chan	2022-10-24
\|/ /
* \|	Merge pull request #12 from funemy/main	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	add proper bound check for z3 constraints
\| * \|	minor	funemy	2022-10-24
\| \| \|
\| * \|	fix	funemy	2022-10-24
\| \| \|
\| * \|	minor	funemy	2022-10-24
\| \| \|
\| * \|	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-24
\| \|\ \
\| * \| \|	add proper bound check	funemy	2022-10-24
\| \| \| \|
* \| \| \|	Add Reid's contribution	braxtonhall	2022-10-24
\| \|/ / \|/\| \|
* \| \|	Add fib-java	braxtonhall	2022-10-24
\| \|/ \|/\|
* \|	Add an editorconfig so I can actually read the code on GitHub	braxtonhall	2022-10-24
\| \|
* \|	Merge pull request #11 from shayanh/main	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	added shayanh's entry
\| * \	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Fix fib-lang link	braxtonhall	2022-10-24
\| \| \|
* \| \|	Add fib-lang	braxtonhall	2022-10-24
\| \| \|
\| * \|	added shayanh's entry	Shayan Hosseini	2022-10-24
\|/ /
* \|	oops	braxtonhall	2022-10-24
\| \|
* \|	Merge pull request #10 from Tarcisio-Teixeira/Tarcisio-Teixeira-patch-1	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	Update fib.py
\| * \|	Update fib.py	Tarcisio-Teixeira	2022-10-24
\| \| \|
* \| \|	Give Tarcisio a temporary name	braxtonhall	2022-10-23
\| \| \|
* \| \|	Merge pull request #9 from Tarcisio-Teixeira/Tarcisio-Teixeira-patch-1	Braxton Hall	2022-10-23
\|\\| \| \| \| \| \| \| \|	Create fib.py
\| * \|	Create fib.py	Tarcisio-Teixeira	2022-10-23
\|/ /
* \|	Update README.md	Braxton Hall	2022-10-23
\| \|
* \|	Add Margo's fibs	braxtonhall	2022-10-23
\| \|
* \|	Make Jon's work/description consistent with everyone else	braxtonhall	2022-10-23
\| \|
* \|	Merge pull request #8 from ionathanch/patch-1	Braxton Hall	2022-10-23
\|\ \ \| \| \| \| \| \|	Create Fib.agda