lhumphrey

Pinned Repositories

AoC-2022-In-Ada
Language:Ada00
AoC-2024-In-Ada
Language:Ada00
jekyll-rtd-theme
Just another documentation theme compatible with GitHub Pages
Language:SCSS00
jekyll-theme-rtd
Port of the Read the Docs theme to Jekyll to use with GitHub Pages.
Language:HTML00
MysteryPackage
A "mystery" package in SPARK/Ada
Language:Ada00
OpenAMASE
Project for simulating multi-UAV missions
Language:Java00
OpenUxAS
Project for multi-UAV cooperative decision making
Language:C++00
OpenUxAS_Docs
A placeholder for jekyll gh-pages style UxAS documentation
00
Recipes
00
salty
A DSL for generating GR(1) problems
Language:JavaScript0 0 00

lhumphrey's Repositories

lhumphrey/AoC-2022-In-Ada
Language:Ada00
lhumphrey/jekyll-rtd-theme
Just another documentation theme compatible with GitHub Pages
Language:SCSS00
lhumphrey/jekyll-theme-rtd
Port of the Read the Docs theme to Jekyll to use with GitHub Pages.
Language:HTML00
lhumphrey/MysteryPackage
A "mystery" package in SPARK/Ada
Language:Ada00
lhumphrey/OpenAMASE
Project for simulating multi-UAV missions
Language:Java00
lhumphrey/OpenUxAS
Project for multi-UAV cooperative decision making
Language:C++00
lhumphrey/OpenUxAS_Docs
A placeholder for jekyll gh-pages style UxAS documentation
00
lhumphrey/Recipes
00
lhumphrey/salty
A DSL for generating GR(1) problems
Language:JavaScript0 0 00
lhumphrey/slugs
SmalL bUt Complete GROne Synthesizer
lhumphrey/TestWebsite
Language:CSS
lhumphrey/VictoriaMetrics
VictoriaMetrics: fast, cost-effective monitoring solution and time series database