As of May 31, 2023, we have updated our Code of Conduct.
Code Review
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 7 years
  • Last seen more than a month ago
Profile Activity
Stats
483
reputation
7k
reached
0
answers
12
questions
Communities
View all
About

Words which describe me do not exist!

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
0
Score
10
Posts
83
Posts %
0
Score
3
Posts
25
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
9
Simple guessing game in Haskell
Nov 7, 2017
question
8
Haskell Tic-Tac-Toe (with automation and GUI)
Nov 7, 2021
question
6
Yet another BrainF*** Interpretter in Haskell
Jun 9, 2017
question
6
2-3 Tree in Python
Feb 25, 2018
question
4
N Queens with Haskell
Oct 13, 2017
question
4
Modelling Immerman–Szelepcsényi in Haskell
Feb 8, 2019
question
4
Monitoring Traces for Satisfaction of Temporal Logic Properties
Oct 14, 2019
question
3
Game of Life in Haskell with Nested Zippers, Comonads, etc
Oct 21, 2017
question
2
Lowest Common Ancestor of a Binary Tree in Rust
Aug 16, 2022
question
1
Haskell searching through a large textfile efficiently
Jan 8, 2018
Top network posts
View all network posts
124
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
30
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.