Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merging local with remote main | James Yoo | 2022-10-24 |
|\ | |||
| * | Merge pull request #29 from braxtonhall/marie | Braxton Hall | 2022-10-24 |
| |\ | | | | | | | Add Marie | ||
| | * | Add Marie | braxtonhall | 2022-10-24 |
| | | | |||
| * | | Add Ron | braxtonhall | 2022-10-24 |
| |/ | |||
| * | Merge pull request #27 from StuartLiv/main | Braxton Hall | 2022-10-24 |
| |\ | | | | | | | Added ThetaFibN | ||
| | * | Added ThetaFibN | StuartLiv | 2022-10-24 |
| | | | |||
| * | | Merge pull request #26 from braxtonhall/splaulette | Braxton Hall | 2022-10-24 |
| |\ \ | | | | | | | | | Update Paulette's fib | ||
| | * | | Update Paulette's fib | braxtonhall | 2022-10-24 |
| | | | | |||
| * | | | Merge pull request #25 from braxtonhall/splaulette | Braxton Hall | 2022-10-24 |
| |\| | | | | | | | | | | Paulette | ||
| | * | | Add Paulette | braxtonhall | 2022-10-24 |
| | | | | |||
| * | | | Merge branch 'main' into main | Braxton Hall | 2022-10-24 |
| |\| | | |||
| | * | | Merge pull request #23 from braxtonhall/nico | Braxton Hall | 2022-10-24 |
| | |\ \ | | | | | | | | | | | Nico | ||
| | | * | | Add Nico's new fibs | braxtonhall | 2022-10-24 |
| | | | | | |||
| | * | | | Add submission for zgrannan | Zack Grannan | 2022-10-24 |
| | |/ / | |||
| * / / | add haskell entry | Xu, Junfeng | 2022-10-24 |
| |/ / | |||
| * | | Added fib in befunge | Justin Frank | 2022-10-24 |
| | | | |||
| * | | Ok made it readable | Felipe Bañados Schwerter | 2022-10-24 |
| | | | |||
| * | | Base smalltalk export | Felipe Bañados Schwerter | 2022-10-24 |
| | | | |||
| * | | Specified implementation in coq | Felipe Bañados Schwerter | 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 |
| | | | |||
| * | | handle negative | Aymen Dirar | 2022-10-24 |
| | | | |||
| * | | comment | Aymen Dirar | 2022-10-24 |
| | | | |||
| * | | wasm lol | Aymen Dirar | 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 |
| | | | |||
| * | | 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 |
| | | | | |||
| * | | | 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 |
| | |/ | |/| | |||
| * | | Merge branch 'main' into main | Braxton Hall | 2022-10-24 |
| |\ \ | |||
| | * | | Add fib-lang | braxtonhall | 2022-10-24 |
| | | | | |||
| * | | | added shayanh's entry | Shayan Hosseini | 2022-10-24 |
| |/ / | |||
| * | | Update fib.py | Tarcisio-Teixeira | 2022-10-24 |
| | | | |||
| * | | Create fib.py | Tarcisio-Teixeira | 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 |
| | | | | |||
| * | | | Merge pull request #7 from funemy/main | Braxton Hall | 2022-10-23 |
| |\ \ \ | | | |/ | | |/| | Z3 fib implementation |