E
intern
Ezone Internastional,
Ashwot Acharya
@ashwot
Ashwot Acharya
@ashwot
Undergraduate student in Computational Mathematics
Undergraduate student in Computational Mathematics
Python
Node.js
PyTorch
React.js
FastAPi
Kathmandu, Nepal
Devfolio stats
Devfolio stats
4
projects
4
2
prizes
2
10
hackathons
10
0
Hackathons org.
0
GitHub
GitHub
100
contributions in the last year
Sep
S
M
T
W
T
F
S
0 contributions on 2025-09-21
0 contributions on 2025-09-22
0 contributions on 2025-09-23
0 contributions on 2025-09-24
0 contributions on 2025-09-25
0 contributions on 2025-09-26
0 contributions on 2025-09-27
1 contributions on 2025-09-28
0 contributions on 2025-09-29
0 contributions on 2025-09-30
0 contributions on 2026-09-01
0 contributions on 2026-09-02
2 contributions on 2026-09-03
0 contributions on 2026-09-04
0 contributions on 2026-09-05
0 contributions on 2026-09-06
1 contributions on 2026-09-07
0 contributions on 2026-09-08
2 contributions on 2026-09-09
1 contributions on 2026-09-10
0 contributions on 2026-09-11
0 contributions on 2026-09-12
0 contributions on 2026-09-13
0 contributions on 2026-09-14
0 contributions on 2026-09-15
0 contributions on 2026-09-16
Aug
0 contributions on 2026-08-01
0 contributions on 2026-08-02
0 contributions on 2026-08-03
0 contributions on 2026-08-04
0 contributions on 2026-08-05
0 contributions on 2026-08-06
0 contributions on 2026-08-07
0 contributions on 2026-08-08
0 contributions on 2026-08-09
0 contributions on 2026-08-10
0 contributions on 2026-08-11
0 contributions on 2026-08-12
0 contributions on 2026-08-13
0 contributions on 2026-08-14
0 contributions on 2026-08-15
0 contributions on 2026-08-16
0 contributions on 2026-08-17
0 contributions on 2026-08-18
0 contributions on 2026-08-19
0 contributions on 2026-08-20
0 contributions on 2026-08-21
0 contributions on 2026-08-22
0 contributions on 2026-08-23
0 contributions on 2026-08-24
0 contributions on 2026-08-25
0 contributions on 2026-08-26
0 contributions on 2026-08-27
0 contributions on 2026-08-28
0 contributions on 2026-08-29
0 contributions on 2026-08-30
0 contributions on 2026-08-31
8
stars earned
44
repositories
25
followers
View on GitHub
Monte-carlo-Simulator
Markov Chain Monte Carlo (MCMC) simulator implementing the Metropolis-Hastings algorithm
Python
0Stars
0Forks
Proof-assistant
project explores proof assistant foundations (type theory, Curry–Howard, intuitionistic logic) and formalizes constructive proofs in Agda, comparing Agda with Coq and Lean.
TeX
2Stars
0Forks
Sudoku_SAT
Reducing generalized Sudoku to Boolean Satisfiability (SAT) — from constraints to CNF, solved with modern SAT solvers and a custom CDCL implementation.
Python
0Stars
0Forks
SysSec
SysSec is a kernel-level intrusion detection system (IDS) that uses a Probabilistic Context-Free Grammar (PCFG)
Python
0Stars
0Forks
Work Experience
Work Experience
E
Ezone Internastional
intern
Implemented website redesign
Top Projects
Top Projects
M
