Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update with pictures from the actual installation | braxtonhall | 2022-12-02 |
* | Update README.md | Braxton Hall | 2022-10-24 |
* | Update HTML | braxtonhall | 2022-10-24 |
* | Migrate contributors to static html | braxtonhall | 2022-10-24 |
* | Fortran :) (also moved my Agda file up a dir) | Jonathan Chan | 2022-10-24 |
* | Add Reid's contribution | braxtonhall | 2022-10-24 |
* | Add fib-java | braxtonhall | 2022-10-24 |
* | 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 |
* | Give Tarcisio a temporary name | braxtonhall | 2022-10-23 |
* | Update README.md | Braxton Hall | 2022-10-23 |
* | Add Margo's fibs | braxtonhall | 2022-10-23 |
* | Make Jon's work/description consistent with everyone else | braxtonhall | 2022-10-23 |
* | Add Yanze's Z3 version to the readme | braxtonhall | 2022-10-23 |
* | fix readme | Aymen Dirar | 2022-10-23 |
* | Describe Yanze's contribution in the README | braxtonhall | 2022-10-23 |
* | Describe James in the README | braxtonhall | 2022-10-23 |
* | Update README.md | Braxton Hall | 2022-10-23 |
* | Add a contributing guide | Braxton Hall | 2022-10-23 |
* | Use GitHub IDs instead of full names (for now) | braxtonhall | 2022-10-23 |
* | Move some files around | braxtonhall | 2022-10-23 |
* | Implement express fib | braxtonhall | 2022-10-23 |
* | Organize README | braxtonhall | 2022-10-23 |
* | Rename directory to use GitHub ID | braxtonhall | 2022-10-23 |
* | Initial commit | braxtonhall | 2022-10-23 |