- Salt Lake city,UT, USA
- www.linkedin.com/in/shravanthimanohar/
Popular repositories Loading
-
Secure-Dynamic-Password-System
Secure-Dynamic-Password-System PublicCS 6490 project by Amal Hossein, My Kuhn and Shravanthi Manohar - University of Utah
Java 1
-
Small-Step-Analyzer
Small-Step-Analyzer PublicThe language for which we construct the analyzer is continuation-passing style: <aexp> ::= (lambda (<var> ...) <cexp>) | <var> | halt <cexp> ::= (<aexp> <aexp> ... )
Scheme
-
Lexer-Toolkit
Lexer-Toolkit PublicThe aim of this project was to develop a lexer toolkit using Generalised regular state machines. We implement a lexer for S-Expressions.
Scala
-
Compiling-to-Lamda-Calculus
Compiling-to-Lamda-Calculus PublicProject 0: A compiler from Scheme to lambda
Scala
-
MySSL
MySSL PublicDeveloped a version of SSL implementing the HAndshake and the data phase in Java using the Java Security libraries and
Java
-
ExpandedNeedhamSchroeder-Version
ExpandedNeedhamSchroeder-Version PublicGoal of this programming assignment was to build the expanded Needham Schroeder Mediated - Authentication Scheme (Figure 11 - 19 from the Perlman book).Wrote socket programs that run on three nodes…
Java
If the problem persists, check the GitHub status page or contact support.