fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
...
* \| \| \| \|	Merge pull request #19 from fbanados/fbanados	Braxton Hall	2022-10-24
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|	fbanados in coq.
\| * \| \| \|	Added second entry	Felipe Bañados Schwerter	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Ok made it readable	Felipe Bañados Schwerter	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Fixed people	Felipe Bañados Schwerter	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Base smalltalk export	Felipe Bañados Schwerter	2022-10-24
\| \| \| \| \|
\| * \| \| \|	Added fbanados	Felipe Bañados Schwerter	2022-10-24
\| \| \| \| \|
\| * \| \| \|	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
* \| \| \| \|	Add Reid's contribution	braxtonhall	2022-10-24
\| \| \| \| \|
\| \| \| \| *	symbolic	funemy	2022-10-25
\| \| \|_\|/ \| \|/\| \|
\| * \| \|	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 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
\| \| \| \|