Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | Merge pull request #18 from lizard-business/maude-ats | Braxton Hall | 2022-10-24 | |
|\ \ | ||||
| * | | add maude & ATS | rhiannon morris | 2022-10-24 | |
* | | | Merge pull request #17 from adirar111/main | Braxton Hall | 2022-10-24 | |
|\ \ \ | |/ / |/| | | ||||
| * | | 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 | |
| |\ \ | ||||
| | * | | 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 | Megha Singhania | 2022-10-24 | |
* | | | | Merge pull request #14 from perryliao/main | Braxton Hall | 2022-10-24 | |
|\ \ \ \ | | |/ / | |/| | | ||||
| * | | | 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) | Jonathan Chan | 2022-10-24 | |
|/ / / | ||||
* | | | Merge pull request #12 from funemy/main | Braxton Hall | 2022-10-24 | |
|\ \ \ | ||||
| * | | | 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 | |
|\ \ \ | ||||
| * \ \ | 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 | 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 | 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 | Jonathan Chan | 2022-10-23 | |
* | | | | Add Yanze's Z3 version to the readme | braxtonhall | 2022-10-23 |