- 🔭 I’m currently working:
- for AWS/λ
- on rust-lang/clippy
- on A symbolic data generation engine
- 🌱 I’m currently learning about:
- Database and query engine internals
- Symbolic execution
- Formal methods
- i am open to the right job; remotely or in Dublin
Highlights
- Pro
Block or Report
Block or report m-rph
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
rust-lang/rust-clippy
rust-lang/rust-clippy PublicA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
-
rust-lang/rust
rust-lang/rust PublicEmpowering everyone to build reliable and efficient software.
-
aws-lambda-cpp
aws-lambda-cpp PublicForked from awslabs/aws-lambda-cpp
C++ implementation of the AWS Lambda runtime
C++
-
aws-lambda-python-runtime-interface-client
aws-lambda-python-runtime-interface-client PublicForked from aws/aws-lambda-python-runtime-interface-client
Python
-
aws-lambda-runtime-interface-emulator
aws-lambda-runtime-interface-emulator PublicForked from aws/aws-lambda-runtime-interface-emulator
Go
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.