aboutsummaryrefslogtreecommitdiff
path: root/people.json
Commit message (Collapse)AuthorAge
...
| * | Update people.jsonTarcisio-Teixeira2022-10-25
| | |
| * | Merge pull request #42 from funemy/mainBraxton Hall2022-10-25
| |\ \ | | | | | | | | z3 but cooler
| | * | update people.jsonfunemy2022-10-25
| | | |
| * | | Merge pull request #44 from jyoo980/mainBraxton Hall2022-10-25
| |\ \ \ | | | | | | | | | | Adding AspectJ version of Fibonacci
| | * | | Adding AspectJ version of FibonacciJames Yoo2022-10-25
| | | | |
| * | | | Provide a fib implementation for jlouisJesper Louis Andersen2022-10-25
| | |/ / | |/| | | | | | | | | | | | | | Most of the entry is pure build-scaffolding. The meat is in a single file, which is then referenced in people.json.
| * | | Merge pull request #41 from funemy/mainBraxton Hall2022-10-25
| |\ \ \ | | | | | | | | | | symbolic execution fib
| | * | | people.jsonfunemy2022-10-25
| | | | |
* | | | | desmos lmaoLily Lin2022-10-25
|/ / / /
* | | | Merge branch 'braxtonhall:main' into lilyLily2022-10-25
|\| | |
| * | | Merge pull request #36 from LucasZamprogno/mainBraxton Hall2022-10-25
| |\ \ \ | | | | | | | | | | Node things
| | * | | Node thingsLucas Zamprogno2022-10-25
| | | | |
| * | | | Merge pull request #38 from braxtonhall/wcBraxton Hall2022-10-25
| |\ \ \ \ | | | | | | | | | | | | Ruin my poor disk
| | * | | | Ruin my poor diskbraxtonhall2022-10-25
| | | | | |
* | | | | | Much simpler fractran programLily Lin2022-10-25
|/ / / / / | | | | | | | | | | | | | | | Why did I commit the complex one in the first place...
* | | | | CleanupLily Lin2022-10-25
| | | | |
* | | | | Add entriesLily Lin2022-10-25
| | | | |
* | | | | Merge pull request #35 from markusdemedeiros/mainBraxton Hall2022-10-25
|\ \ \ \ \ | | | | | | | | | | | | you wanted this
| * | | | | god is dead 3markusde2022-10-25
| | | | | |
* | | | | | Merge pull request #34 from adirar111/mainBraxton Hall2022-10-25
|\ \ \ \ \ \ | |/ / / / / |/| | | | | filesystem cache in c
| * | | | | c filesystem cache fibAymen Dirar2022-10-25
| | | | | |
* | | | | | people.json fixedgonzalezf2022-10-25
|/ / / / /
* | | | | Merge pull request #32 from jyoo980/mainBraxton Hall2022-10-25
|\ \ \ \ \ | | |_|/ / | |/| | | Adding vintage HtDP version of Fib
| * | | | Updating people.jsonJames Yoo2022-10-24
| | | | |
* | | | | Merge branch 'main' into mainBraxton Hall2022-10-24
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | ,David Ewert2022-10-24
| | | | |
| * | | | Update people.jsonDavid Ewert2022-10-24
| | | | | | | | | | | | | | | Fixed name
| * | | | Added FibDavid Ewert2022-10-24
| |/ / /
* | | | Fix my broken JSONDave Pagurek2022-10-24
| | | |
* | | | I guess I've got to take credit for thisDave Pagurek2022-10-24
|/ / /
* | | Merge pull request #29 from braxtonhall/marieBraxton Hall2022-10-24
|\| | | | | | | | Add Marie
| * | Add Mariebraxtonhall2022-10-24
| | |
* | | Add Ronbraxtonhall2022-10-24
|/ /
* | Merge pull request #27 from StuartLiv/mainBraxton Hall2022-10-24
|\ \ | | | | | | Added ThetaFibN
| * | Added ThetaFibNStuartLiv2022-10-24
| | |
* | | Merge pull request #25 from braxtonhall/splauletteBraxton Hall2022-10-24
|\ \ \ | | | | | | | | Paulette
| * | | Add Paulettebraxtonhall2022-10-24
| | | |
* | | | Merge branch 'main' into mainBraxton Hall2022-10-24
|\| | |
| * | | Merge pull request #23 from braxtonhall/nicoBraxton Hall2022-10-24
| |\ \ \ | | | | | | | | | | Nico
| | * | | Add Nico's new fibsbraxtonhall2022-10-24
| | | | |
| * | | | Update designationZack Grannan2022-10-24
| | | | |
| * | | | Add submission for zgrannanZack Grannan2022-10-24
| |/ / /
* / / / add haskell entryXu, Junfeng2022-10-24
|/ / /
* | | Added fib in befungeJustin Frank2022-10-24
| | |
* | | Added second entryFelipe Bañados Schwerter2022-10-24
| | |
* | | Fixed peopleFelipe Bañados Schwerter2022-10-24
| | |
* | | Added fbanadosFelipe Bañados Schwerter2022-10-24
|/ /
* | Merge pull request #18 from lizard-business/maude-atsBraxton Hall2022-10-24
|\ \ | | | | | | add maude & ATS
| * | add maude & ATSrhiannon morris2022-10-24
| |/
* / update `people.json`Aymen Dirar2022-10-24
|/