Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | | |||
| * | | 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 | ||
| | * | Create Fib.agda | Jonathan Chan | 2022-10-23 |
| | | | |||
| * | | Add Yanze's Z3 version to the readme | braxtonhall | 2022-10-23 |
| | | | |||
| * | | Merge pull request #7 from funemy/main | Braxton Hall | 2022-10-23 |
| |\ \ | | | | | | | | | Z3 fib implementation | ||
| * \ \ | Merge pull request #6 from adirar111/main | Braxton Hall | 2022-10-23 |
| |\ \ \ | | |_|/ | |/| | | edits to `fib.s` | ||
| | * | | fix readme | Aymen Dirar | 2022-10-23 |
| | | | | |||
| | * | | indent comment | Aymen Dirar | 2022-10-23 |
| | | | | |||
| | * | | links to try | Aymen Dirar | 2022-10-23 |
| | | | | |||
| | * | | rename to `.s` | Aymen Dirar | 2022-10-23 |
| |/ / | |||
| * | | Update .gitignore | Braxton Hall | 2022-10-23 |
| | | | |||
| * | | Describe Yanze's contribution in the README | braxtonhall | 2022-10-23 |
| | | | |||
| * | | Merge pull request #4 from funemy/main | Braxton Hall | 2022-10-23 |
| |\ \ | | | | | | | | | Fib in Agda, the boring one | ||
* | | | | add proper bound check | funemy | 2022-10-24 |
| |_|/ |/| | | |||
* | | | minor | funemy | 2022-10-23 |
| | | | |||
* | | | z3 fib impl | funemy | 2022-10-23 |
| |/ |/| | |||
* | | boring one | funemy | 2022-10-23 |
|/ | |||
* | Describe James in the README | braxtonhall | 2022-10-23 |
| | |||
* | Merge pull request #3 from Metroxe/patch-2 | Braxton Hall | 2022-10-23 |
|\ | | | | | fixed duplicated calculation | ||
| * | fixed duplicated calculation | Christopher Powroznik | 2022-10-23 |
| | | |||
* | | Merge pull request #2 from jyoo980/main | Braxton Hall | 2022-10-23 |
|\ \ | |/ |/| | Adding fib in Scala | ||
| * | Adding return type to fib function | James Yoo | 2022-10-23 |
| | | |||
| * | Adding fib in Scala | James Yoo | 2022-10-23 |
|/ | |||
* | Update README.md | Braxton Hall | 2022-10-23 |
| | |||
* | Add a contributing guide | Braxton Hall | 2022-10-23 |
| | |||
* | Use GitHub IDs instead of full names (for now) | braxtonhall | 2022-10-23 |
| | |||
* | Merge pull request #1 from Metroxe/patch-1 | Braxton Hall | 2022-10-23 |
|\ | | | | | Add entry for Christopher Powroznik | ||
| * | Add entry for Christopher Powroznik | Christopher Powroznik | 2022-10-23 |
| | | | | | | Made in HTML | ||
* | | Move some files around | braxtonhall | 2022-10-23 |
|/ | |||
* | Create fib.ys | Braxton Hall | 2022-10-23 |
| | |||
* | Implement express fib | braxtonhall | 2022-10-23 |
| | |||
* | Organize README | braxtonhall | 2022-10-23 |
| | |||
* | Rename directory to use GitHub ID | braxtonhall | 2022-10-23 |
| | |||
* | Initial commit | braxtonhall | 2022-10-23 |