Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add Nico's new fibs | braxtonhall | 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) | ||
| * | | 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 |
| |/ |/| | |||
* | | 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 |
| | |