fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
*	minor	funemy	2022-10-25
\|
*	when i still have chance to format	funemy	2022-10-25
\|
*	update people.json	funemy	2022-10-25
\|
*	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\|\
\| *	Merge pull request #41 from funemy/main	Braxton Hall	2022-10-25
\| \|\ \| \| \| \| \| \|	symbolic execution fib
\| * \	Merge pull request #40 from rctcwyvrn/lily	Braxton Hall	2022-10-25
\| \|\ \ \| \| \| \| \| \| \| \|	Simplify fractran fib
\| \| * \	Merge branch 'braxtonhall:main' into lily	Lily	2022-10-25
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Much simpler fractran program	Lily Lin	2022-10-25
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Why did I commit the complex one in the first place...
* \| \| \|	a different z3 constraint encoding	funemy	2022-10-25
\| \|_\|/ \|/\| \|
* \| \|	people.json	funemy	2022-10-25
\| \| \|
* \| \|	minor	funemy	2022-10-25
\| \| \|
* \| \|	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\|\\| \|
\| * \|	Merge pull request #39 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\ \ \| \| \| \| \| \| \| \|	Ensure wc fib(1)=1
\| \| * \|	ensure wc-fib(1)=1	braxtonhall	2022-10-25
\| \| \| \|
\| * \| \|	Merge pull request #36 from LucasZamprogno/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	Node things
\| \| * \| \|	Node things	Lucas Zamprogno	2022-10-25
\| \| \| \| \|
\| * \| \| \|	Merge pull request #38 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|	Ruin my poor disk
\| \| * \| \|	Make wc a little bit safer	braxtonhall	2022-10-25
\| \| \| \| \|
\| \| * \| \|	Ruin my poor disk	braxtonhall	2022-10-25
\| \| \| \| \|
\| * \| \| \|	Merge pull request #37 from rctcwyvrn/lily	Braxton Hall	2022-10-25
\| \|\ \ \ \ \| \| \| \|_\|/ \| \| \|/\| \|	Lily's entries
\| \| * \| \|	Cleanup	Lily Lin	2022-10-25
\| \| \| \| \|
\| \| * \| \|	Add entries	Lily Lin	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #35 from markusdemedeiros/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	you wanted this
\| \| * \| \|	god is dead 3	markusde	2022-10-25
\| \| \| \| \|
\| \| * \| \|	god is dead 2	markusde	2022-10-25
\| \| \| \| \|
\| \| * \| \|	Merge branch 'braxtonhall:main' into main	Markus de Medeiros	2022-10-25
\| \| \|\ \ \
\| \| * \| \| \|	god is dead	markusde	2022-10-25
\| \| \| \| \| \|
\| * \| \| \| \|	Merge pull request #34 from adirar111/main	Braxton Hall	2022-10-25
\| \|\ \ \ \ \ \| \| \|_\|/ / / \| \|/\| \| \| \|	filesystem cache in c
\| \| * \| \| \|	cleanup	Aymen Dirar	2022-10-25
\| \| \| \| \| \|
\| \| * \| \| \|	make wasm prettier	Aymen Dirar	2022-10-25
\| \| \| \| \| \|
\| \| * \| \| \|	c filesystem cache fib	Aymen Dirar	2022-10-25
\| \| \|/ / /
\| * \| \| \|	Merge pull request #33 from gonzalezf/main	Braxton Hall	2022-10-25
\| \|\ \ \ \ \| \| \|/ / / \| \|/\| \| \|	people.json fixed
\| \| * \| \|	people.json fixed	gonzalezf	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #32 from jyoo980/main	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \|	Adding vintage HtDP version of Fib
\| \| * \| \|	Updating people.json	James Yoo	2022-10-24
\| \| \| \| \|
\| \| * \| \|	Merging local with remote main	James Yoo	2022-10-24
\| \| \|\ \ \
\| \| * \| \| \|	Adding HtDP version of fibonacci, pre @htdp tags	James Yoo	2022-10-24
\| \| \| \| \| \|
\| * \| \| \| \|	Merge pull request #31 from davepagurek/main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Add a CSS version
\| \| * \ \ \ \	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \| \|\ \ \ \ \ \| \| \|/ / / / / \| \|/\| \| \| \| \|
\| * \| \| \| \| \|	Merge pull request #30 from dewert99/main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \ \ \| \| \|_\|_\|/ / / \| \|/\| \| \| \| \|	dewert99 Fibonacci
\| \| * \| \| \| \|	Added compiled version	David Ewert	2022-10-24
\| \| \| \| \| \| \|
\| \| * \| \| \| \|	>=	David Ewert	2022-10-24
\| \| \| \| \| \| \|
\| \| * \| \| \| \|	,	David Ewert	2022-10-24
\| \| \| \| \| \| \|
\| \| * \| \| \| \|	Update people.json	David Ewert	2022-10-24
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fixed name
\| \| * \| \| \| \|	Added Fib	David Ewert	2022-10-24
\| \|/ / / / /
\| \| * \| \| \|	More consistent naming	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| \| * \| \| \|	Fix my broken JSON	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| \| * \| \| \|	I guess I've got to take credit for this	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| \| * \| \| \|	Rename fib.html to index.html	Dave Pagurek	2022-10-24
\| \| \| \| \| \|
\| \| * \| \| \|	Do some unholy things with CSS	Dave Pagurek	2022-10-24
\| \|/ / / /