aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Updating people.jsonJames Yoo2022-10-24
|
* Merging local with remote mainJames Yoo2022-10-24
|\
| * Merge pull request #29 from braxtonhall/marieBraxton Hall2022-10-24
| |\ | | | | | | Add Marie
| | * Add Mariebraxtonhall2022-10-24
| | |
| * | Merge pull request #28 from braxtonhall/rxgBraxton Hall2022-10-24
| |\ \ | | |/ | |/| Add Ron
| | * Add Ronbraxtonhall2022-10-24
| |/
| * Merge pull request #27 from StuartLiv/mainBraxton Hall2022-10-24
| |\ | | | | | | Added ThetaFibN
| | * Added ThetaFibNStuartLiv2022-10-24
| | |
| * | Merge pull request #26 from braxtonhall/splauletteBraxton Hall2022-10-24
| |\ \ | | | | | | | | Update Paulette's fib
| | * | Update Paulette's fibbraxtonhall2022-10-24
| | | |
| * | | Merge pull request #25 from braxtonhall/splauletteBraxton Hall2022-10-24
| |\| | | | | | | | | | Paulette
| | * | Add Paulettebraxtonhall2022-10-24
| | | |
| * | | Merge pull request #24 from nxjfxu/mainBraxton Hall2022-10-24
| |\ \ \ | | |/ / | |/| | add haskell entry
| | * | Merge branch 'main' into mainBraxton Hall2022-10-24
| | |\ \ | | |/ / | |/| |
| * | | Merge pull request #23 from braxtonhall/nicoBraxton Hall2022-10-24
| |\ \ \ | | | | | | | | | | Nico
| | * | | Make PR workflow a little stricterbraxtonhall2022-10-24
| | | | |
| | * | | Add a PR workflowbraxtonhall2022-10-24
| | | | |
| | * | | Add Nico's new fibsbraxtonhall2022-10-24
| | | | |
| * | | | Merge pull request #22 from zgrannan/mainBraxton Hall2022-10-24
| |\ \ \ \ | | |/ / / | |/| | | Add submission for zgrannan
| | * | | Update designationZack Grannan2022-10-24
| | | | |
| | * | | Add submission for zgrannanZack Grannan2022-10-24
| |/ / /
| | * / add haskell entryXu, Junfeng2022-10-24
| |/ /
| * | Merge pull request #21 from laelath/mainBraxton Hall2022-10-24
| |\ \ | | | | | | | | Added fib in befunge
| | * | Added fib in befungeJustin Frank2022-10-24
| |/ /
| * | Merge pull request #19 from fbanados/fbanadosBraxton Hall2022-10-24
| |\ \ | | |/ | |/| fbanados in coq.
| | * Added second entryFelipe Bañados Schwerter2022-10-24
| | |
| | * Ok made it readableFelipe Bañados Schwerter2022-10-24
| | |
| | * Fixed peopleFelipe Bañados Schwerter2022-10-24
| | |
| | * Base smalltalk exportFelipe Bañados Schwerter2022-10-24
| | |
| | * Added fbanadosFelipe Bañados Schwerter2022-10-24
| | |
| | * Specified implementation in coqFelipe Bañados Schwerter2022-10-24
| |/
| * Make name sorting independent of casebraxtonhall2022-10-24
| |
| * Merge pull request #18 from lizard-business/maude-atsBraxton Hall2022-10-24
| |\ | | | | | | add maude & ATS
| | * add maude & ATSrhiannon morris2022-10-24
| | |
| * | Merge pull request #17 from adirar111/mainBraxton Hall2022-10-24
| |\ \ | | |/ | |/| wasm
| | * handle negativeAymen Dirar2022-10-24
| | |
| | * commentAymen Dirar2022-10-24
| | |
| | * update `people.json`Aymen Dirar2022-10-24
| | |
| | * wasm lolAymen Dirar2022-10-24
| |/
| * Update README.mdBraxton Hall2022-10-24
| |
| * Merge branch 'main' of github.com:braxtonhall/fib into mainbraxtonhall2022-10-24
| |\
| | * Create pull_request_template.mdBraxton Hall2022-10-24
| | |
| * | Remove silly console logbraxtonhall2022-10-24
| |/
| * Update HTMLbraxtonhall2022-10-24
| |
| * Sort entries, use correct URL for peoplebraxtonhall2022-10-24
| |
| * Merge branch 'main' of github.com:braxtonhall/fib into mainbraxtonhall2022-10-24
| |\
| | * Merge pull request #16 from perryliao/mainBraxton Hall2022-10-24
| | |\ | | | | | | | | whops
| | | * validation should probably come first lolPerry Liao2022-10-24
| | | |
| | | * make only 1 wc callPerry Liao2022-10-24
| | | |
| * | | Migrate contributors to static htmlbraxtonhall2022-10-24
| |/ /