Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | 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 | |||
| * | | | | Add Reid's contribution | braxtonhall | 2022-10-24 | |
| | | | | | ||||
* | | | | | symbolic | funemy | 2022-10-25 | |
| |/ / / |/| | | | ||||
* | | | | 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 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 | |||
| * | | | | indent comment | Aymen Dirar | 2022-10-23 | |
| | | | | | ||||
| * | | | | links to try | Aymen Dirar | 2022-10-23 | |
| | | | | | ||||
| * | | | | rename to `.s` | Aymen Dirar | 2022-10-23 | |
| | |/ / | |/| | | ||||
* | | | | 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 | |
| | | ||||
* | | Merge pull request #3 from Metroxe/patch-2 | Braxton Hall | 2022-10-23 | |
|\ \ | | | | | | | fixed duplicated calculation | |||
| * | | fixed duplicated calculation | Christopher Powroznik | 2022-10-23 | |
| | | | ||||
* | | | Adding return type to fib function | James Yoo | 2022-10-23 | |
| |/ |/| | ||||
* | | Adding fib in Scala | James Yoo | 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 | |
|/ | ||||
* | Implement express fib | braxtonhall | 2022-10-23 | |
| |