Pinned Repositories
tipc
A compiler from TIP to llvm bitcode
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
amazon-cloudfront-secure-static-site
Create a secure static website with CloudFront for your registered domain.
arxiv-fetcher
aws_signature_v4_interceptor
Dio Interceptor to sign AWS requests
dot-files
emoji-shortname
nicholasphair.github.io
pretty-aws-navbar
Prettify the AWS Console's Navigation Bar
nicholasphair's Repositories
nicholasphair/arxiv-fetcher
nicholasphair/amazon-cloudfront-secure-static-site
Create a secure static website with CloudFront for your registered domain.
nicholasphair/amplify-flutter
A declarative library with an easy-to-use interface for building Flutter applications on AWS.
nicholasphair/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
nicholasphair/aws_signature_v4_interceptor
Dio Interceptor to sign AWS requests
nicholasphair/dot-files
nicholasphair/nicholasphair.github.io
nicholasphair/built_value.dart
Immutable value types, enum classes, and serialization.
nicholasphair/cig
nicholasphair/cs6501s23
Formal Mathematics for Software Design
nicholasphair/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
nicholasphair/gdpr-analysis
nicholasphair/gitignore
A collection of useful .gitignore templates
nicholasphair/moralpain_config
nicholasphair/moralpain_dev
VSCode + Docker container development environment for moral distress project
nicholasphair/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
nicholasphair/openapi-generator-cli
A node package wrapper for https://github.com/OpenAPITools/openapi-generator
nicholasphair/openapi-generator-dart
Openapi Generator for Dart/Flutter
nicholasphair/sceptre
Build better AWS infrastructure
nicholasphair/sceptre-amplify-config-generate-hook
nicholasphair/sceptre-openapi-substitution-hook
nicholasphair/signs-analysis
nicholasphair/Slicer4J
Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
nicholasphair/sphinx-action
Github action that builds docs using sphinx and places errors inline
nicholasphair/thermometer
flutter thermometer widget
nicholasphair/tipc
A compiler from TIP to llvm bitcode
nicholasphair/tipc-passes
LLVM passes for TIP programs
nicholasphair/typedb-client-java
TypeDB Client for Java
nicholasphair/typedb-common
TypeDB Common Libraries and Scripts
nicholasphair/urweb
The Ur/Web programming language