dantasfiles

AmplifyReactNativeTypes

Custom Type Declarations for the "aws-amplify-react-native" package

AmplifyMultiTenant3

Method 3: Virtual Cognito Groups for creating multi-tenant AWS Amplify mobile apps in React Native

AmplifyMultiTenant2

Method 2: Cognito Groups for creating multi-tenant AWS Amplify mobile apps in React Native

AmplifyMultiTenant1

Method 1: Cognito Custom Attributes for creating multi-tenant AWS Amplify mobile apps in React Native

AmplifyAndroidPush

Setting up a React Native app using AWS Amplify to receive Android Push Notifications

TSAmplifyAPI

Using Typescript with AWS Amplify API in React Native, with a particular focus on the types that AWS Amplify generates into API.ts

ExploreAmplifyAPI

Explore the backend specifications that are generated by AWS Amplify from an example schema

AspectML

Security case study for "AspectML: A Polymorphic Aspect-oriented Functional Programming Language" in ACM Transactions on Programming Languages & Systems

Aspects-of-Access-Control

Extension of work done in "A Simple and Expressive Semantic Framework for Policy Composition in Access Control" at ACM Formal Methods in Security Engineering

AmplifyEmailAuth

Setting up email authentication with AWS Amplify for your React Native app

CatiMidi

Classifying MIDI files using machine learning for Cornell CS 4780: Machine Learning. Collaboration with Chee Yong Lee.

dts-gen

dts-gen creates starter TypeScript definition files for any module or library.

envinfo

Generate a report about your development environment for debugging and issue reporting

Harmless-Advice

Language interpreter and security case study for "Harmless Advice" at ACM Principles of Programming Languages

netflix-notes

Added ability to delete notes instead of overwriting

nj-covid19-vaccine-location-guide

PolyAML

Language interpreter for "PolyAML: A Polymorphic Aspect-oriented Functional Programming Language" at ACM International Conference on Functional Programming

dantasfiles.github.io

puzzles