Pinned Repositories
advent-of-code-2019
advent_of_code_2021
Attempt to get further this year~
advent_of_code_2022
advent_of_code_2023
collect
ODK Collect is an Android app for filling out forms. It's been used to collect billions of data points in challenging environments around the world. Contribute and make the world a better place! ✨📋✨
eng-social-pairs
overkill, but so much fun
halloffame
Hall of fame for those who have completed the powion/tutorial. Used to teach forks and pull requests.
jpf-summary
A small PoC implementation for method summaries inside JPF.
jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
teachers_pet
command line tool to help teachers use GitHub in their classrooms
lassebe's Repositories
lassebe/teachers_pet
command line tool to help teachers use GitHub in their classrooms
lassebe/advent-of-code-2019
lassebe/advent_of_code_2021
Attempt to get further this year~
lassebe/advent_of_code_2022
lassebe/advent_of_code_2023
lassebe/collect
ODK Collect is an Android app for filling out forms. It's been used to collect billions of data points in challenging environments around the world. Contribute and make the world a better place! ✨📋✨
lassebe/eng-social-pairs
overkill, but so much fun
lassebe/halloffame
Hall of fame for those who have completed the powion/tutorial. Used to teach forks and pull requests.
lassebe/jpf-summary
A small PoC implementation for method summaries inside JPF.
lassebe/jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
lassebe/lassebe.github.io
lassebe/nodejs-npm-buildpack
Heroku Cloud Native Buildpack for NPM on Node.js runtime
lassebe/play
A collection of miscellaneous stuff
lassebe/thesis
lassebe/workstation-setup
Scripts to automatically set up a machine for development the "Pivotal" way