PhD Student at Brown University, former dev @ Microsoft.
-
Brown University
- Providence, RI
Highlights
- Pro
Popular repositories Loading
-
-
-
-
NetworkInterpreter
NetworkInterpreter PublicInterpreter with shared environment across a network
C 1
690 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 25 commits in 3 repositories
Created 2 repositories
-
sidprasad/forge-expr-evaluator
TypeScript
This contribution was made on Apr 8
-
sidprasad/jsoncrack.com
TypeScript
This contribution was made on Apr 1
Created a pull request in karankashyap04/forge-expr-evaluator that received 6 comments
Implementing ->
@karankashyap04 : Trying to understand the recursive descent parser -- here's what I think this should be.
+57
−15
lines changed
•
6
comments
Opened 10 other pull requests in 3 repositories
sidprasad/copeanddrag
1
open
3
merged
-
v3 Major Update
This contribution was made on Apr 13
-
Fixing No Code Parsing bug
This contribution was made on Apr 2
-
Significant UI Improvement
This contribution was made on Apr 1
-
Regression bugfix
This contribution was made on Apr 1
brownplt/LTLTutor
3
merged
1
open
-
Setting up unittest automation
This contribution was made on Apr 3
-
Adding the ability to rate Eng to LTL translations
This contribution was made on Apr 2
-
Resolving CVE-2024-6827
This contribution was made on Apr 2
-
Adding docker build
This contribution was made on Apr 2
karankashyap04/forge-expr-evaluator
2
merged
-
Sid/minor changes
This contribution was made on Apr 13
-
Expose types and make compiled JS part of the directory
This contribution was made on Apr 11
Created an issue in karankashyap04/forge-expr-evaluator that received 1 comment
Error when
Reproduction Steps: Error when a quantifying in a ``truthy way''
some i : Int | i < 4
results in
Error: Expected nextResult to be a single value a…
1
comment
Opened 4 other issues in 2 repositories
karankashyap04/forge-expr-evaluator
2
closed
-
->
operator supportThis contribution was made on Apr 14 -
Evaluator doesn't allow reference to Atoms, and struggles with inter-sig relations
This contribution was made on Apr 11
brownplt/LTLTutor
2
open
-
POSTGRES uses psycopg2
This contribution was made on Apr 2
-
Flag ""bad"" English
This contribution was made on Apr 2