Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | Create fib.rb | Komodo | 2022-10-27 | |
|/ | ||||
* | Workflow (#56) | Braxton Hall | 2022-10-27 | |
| | | | | | | | | | | | | | * Make the people check more rigorous * Actually install ajv before trying to use it in an action * Automatically prettify people.json * Rename workflow step * Make sure correct branch is checked out * Use tabs | |||
* | Merge pull request #53 from Nakilon/main | Braxton Hall | 2022-10-27 | |
|\ | | | | | in my language RASEL | |||
| * | Fix case on Nakilon | Braxton Hall | 2022-10-27 | |
| | | ||||
| * | RASEL | Victor Maslov | 2022-10-27 | |
| | | ||||
* | | Merge pull request #55 from braxtonhall/alex | Braxton Hall | 2022-10-27 | |
|\ \ | | | | | | | Alex Summers | |||
| * | | Add Alex | braxtonhall | 2022-10-27 | |
| |/ | ||||
* | | Merge pull request #54 from zgrannan/main | Braxton Hall | 2022-10-27 | |
|\ \ | |/ |/| | Add human in the loop fib | |||
| * | Add human in the loop fib | Zack Grannan | 2022-10-27 | |
|/ | ||||
* | Merge pull request #52 from rctcwyvrn/lily | Braxton Hall | 2022-10-27 | |
|\ | | | | | Desmos | |||
| * | Merge branch 'main' into lily | Lily Lin | 2022-10-26 | |
| |\ | |/ |/| | ||||
* | | Merge pull request #51 from dewert99/main | Braxton Hall | 2022-10-26 | |
|\ \ | | | | | | | Fib with BigInts | |||
| * | | -, | David Ewert | 2022-10-26 | |
| | | | ||||
| * | | Update people.json | David Ewert | 2022-10-26 | |
| | | | ||||
| * | | Create big_fib.rs | David Ewert | 2022-10-26 | |
| | | | ||||
* | | | Merge pull request #50 from braxtonhall/kevin | Braxton Hall | 2022-10-26 | |
|\ \ \ | | | | | | | | | Add Kevin Dhir | |||
| * | | | Add Kevin Dhir | braxtonhall | 2022-10-26 | |
|/ / / | ||||
* | | | Merge pull request #49 from nwoeanhinnogaehr/main | Braxton Hall | 2022-10-26 | |
|\ \ \ | | | | | | | | | add x86 elf (81 bytes) | |||
| * | | | add x86 elf (81 bytes) | Noah Weninger | 2022-10-26 | |
|/ / / | ||||
* | | | Merge pull request #48 from braxtonhall/david | Braxton Hall | 2022-10-26 | |
|\ \ \ | | | | | | | | | Add David Zheng | |||
| * | | | Add David Zheng | braxtonhall | 2022-10-26 | |
| | | | | ||||
* | | | | Merge pull request #47 from funemy/main | Braxton Hall | 2022-10-26 | |
|\ \ \ \ | |/ / / |/| | | | your favorite $ sign | |||
| * | | | yet another haskell fib | funemy | 2022-10-26 | |
|/ / / | ||||
* | | | Merge pull request #46 from funemy/main | Braxton Hall | 2022-10-25 | |
|\ \ \ | | | | | | | | | learning koka | |||
| * | | | minor | funemy | 2022-10-25 | |
| | | | | ||||
| * | | | Merge branch 'main' of github.com:braxtonhall/fib | funemy | 2022-10-25 | |
| |\ \ \ | |/ / / |/| | | | ||||
* | | | | Merge pull request #45 from Tarcisio-Teixeira/main | Braxton Hall | 2022-10-25 | |
|\ \ \ \ | | | | | | | | | | | Create differential.py | |||
| * | | | | Update people.json | Tarcisio-Teixeira | 2022-10-25 | |
| | | | | | ||||
| * | | | | Update people.json | Tarcisio-Teixeira | 2022-10-25 | |
| | | | | | ||||
| * | | | | Create differential.py | Tarcisio-Teixeira | 2022-10-25 | |
|/ / / / | ||||
* | | | | Merge pull request #42 from funemy/main | Braxton Hall | 2022-10-25 | |
|\ \ \ \ | | | | | | | | | | | z3 but cooler | |||
* \ \ \ \ | Merge pull request #44 from jyoo980/main | Braxton Hall | 2022-10-25 | |
|\ \ \ \ \ | | | | | | | | | | | | | Adding AspectJ version of Fibonacci | |||
| * | | | | | Adding AspectJ version of Fibonacci | James Yoo | 2022-10-25 | |
| | | | | | | ||||
* | | | | | | Merge pull request #43 from jlouis/jlouis-implementation | Braxton Hall | 2022-10-25 | |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Provide a fib implementation for jlouis | |||
| * | | | | | | Fix the location of the main code in README | Jesper Louis Andersen | 2022-10-25 | |
| | | | | | | | ||||
| * | | | | | | Provide a fib implementation for jlouis | Jesper Louis Andersen | 2022-10-25 | |
|/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | Most of the entry is pure build-scaffolding. The meat is in a single file, which is then referenced in people.json. | |||
| | | * / / | learning new language | funemy | 2022-10-25 | |
| | |/ / / | ||||
| | * | | | typo | funemy | 2022-10-25 | |
| | | | | | ||||
| | * | | | redundant line | funemy | 2022-10-25 | |
| | | | | | ||||
| | * | | | minor | funemy | 2022-10-25 | |
| | | | | | ||||
| | * | | | when i still have chance to format | funemy | 2022-10-25 | |
| | | | | | ||||
| | * | | | update people.json | funemy | 2022-10-25 | |
| | | | | | ||||
| | * | | | Merge branch 'main' of github.com:braxtonhall/fib | funemy | 2022-10-25 | |
| | |\ \ \ | |_|/ / / |/| | | | | ||||
* | | | | | Merge pull request #41 from funemy/main | Braxton Hall | 2022-10-25 | |
|\ \ \ \ \ | | | | | | | | | | | | | symbolic execution fib | |||
* \ \ \ \ \ | Merge pull request #40 from rctcwyvrn/lily | Braxton Hall | 2022-10-25 | |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Simplify fractran fib | |||
| | | | * | | | a different z3 constraint encoding | funemy | 2022-10-25 | |
| | | |/ / / | | |/| | | | ||||
| | * | | | | people.json | funemy | 2022-10-25 | |
| | | | | | | ||||
| | * | | | | minor | funemy | 2022-10-25 | |
| | | | | | | ||||
| | * | | | | Merge branch 'main' of github.com:braxtonhall/fib | funemy | 2022-10-25 | |
| | |\ \ \ \ | |_|/ / / / |/| | | | | | ||||
| | * | | | | symbolic | funemy | 2022-10-25 | |
| | | | | | |