fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
...
* \| \| \| \| \|	Merge pull request #23 from braxtonhall/nico	Braxton Hall	2022-10-24
\|\ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Nico
\| * \| \| \| \| \|	Make PR workflow a little stricter	braxtonhall	2022-10-24
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add a PR workflow	braxtonhall	2022-10-24
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add Nico's new fibs	braxtonhall	2022-10-24
\| \| \| \| \| \| \|
* \| \| \| \| \| \|	Merge pull request #22 from zgrannan/main	Braxton Hall	2022-10-24
\|\ \ \ \ \ \ \ \| \|/ / / / / / \|/\| \| \| \| \| \|	Add submission for zgrannan
\| * \| \| \| \| \|	Update designation	Zack Grannan	2022-10-24
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add submission for zgrannan	Zack Grannan	2022-10-24
\|/ / / / / /
\| * / / / /	add haskell entry	Xu, Junfeng	2022-10-24
\|/ / / / /
* \| \| \| \|	Merge pull request #21 from laelath/main	Braxton Hall	2022-10-24
\|\ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \|	Added fib in befunge
\| * \| \| \| \|	Added fib in befunge	Justin Frank	2022-10-24
\|/ / / / /
* \| \| \| \|	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
\| * \| \|	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
\| \|/ / \|/\| \|