arienmalec's repositories
alexa_rust
Implements Rust-based Alexa Request/Response
ruby_odata
OData Consumer for Ruby
complex-number-game
The Complex Number Game. Make the complex numbers in Lean.
covid_bayarea
R-based plots to visualize the effects of policy on cases and deaths
homebrew-core
🍻 Default formulae for the missing package manager for macOS
implementing-fhir
The Jekyll Butler.
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
nppes_fhir_demo
demonstration of how to access provider directory (NPPES) via FHIR services
rust_fargate_terraform_example
Example of deploying a Rust API to Fargate using Terraform