Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | 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 pull request #24 from nxjfxu/main | Braxton Hall | 2022-10-24 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | add haskell entry | |||
| * | | | | | Merge branch 'main' into main | Braxton Hall | 2022-10-24 | |
| |\ \ \ \ \ | |/ / / / / |/| | | | | | ||||
* | | | | | | 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) |