Ashwot Acharya

GitHub profile

LinkedIn profile

@ashwot

Ashwot Acharya

@ashwot

Undergraduate student in Computational Mathematics

Python

Node.js

PyTorch

React.js

FastAPi

Kathmandu, Nepal

Devfolio stats

projects

prizes

hackathons

Hackathons org.

GitHub

106

contributions in the last year

Jul

0 contributions on 2025-07-06

0 contributions on 2025-07-07

0 contributions on 2025-07-08

1 contributions on 2025-07-09

0 contributions on 2025-07-10

0 contributions on 2025-07-11

0 contributions on 2025-07-12

0 contributions on 2025-07-13

0 contributions on 2025-07-14

0 contributions on 2025-07-15

0 contributions on 2025-07-16

0 contributions on 2025-07-17

0 contributions on 2025-07-18

0 contributions on 2025-07-19

0 contributions on 2025-07-20

0 contributions on 2025-07-21

0 contributions on 2025-07-22

0 contributions on 2025-07-23

0 contributions on 2025-07-24

0 contributions on 2025-07-25

2 contributions on 2025-07-26

1 contributions on 2025-07-27

0 contributions on 2025-07-28

2 contributions on 2025-07-29

1 contributions on 2025-07-30

0 contributions on 2025-07-31

0 contributions on 2026-07-01

0 contributions on 2026-07-02

0 contributions on 2026-07-03

2 contributions on 2026-07-04

0 contributions on 2026-07-05

0 contributions on 2026-07-06

0 contributions on 2026-07-07

Jun

0 contributions on 2026-06-01

0 contributions on 2026-06-02

0 contributions on 2026-06-03

0 contributions on 2026-06-04

0 contributions on 2026-06-05

0 contributions on 2026-06-06

0 contributions on 2026-06-07

0 contributions on 2026-06-08

0 contributions on 2026-06-09

0 contributions on 2026-06-10

0 contributions on 2026-06-11

0 contributions on 2026-06-12

4 contributions on 2026-06-13

0 contributions on 2026-06-14

0 contributions on 2026-06-15

0 contributions on 2026-06-16

0 contributions on 2026-06-17

0 contributions on 2026-06-18

0 contributions on 2026-06-19

0 contributions on 2026-06-20

0 contributions on 2026-06-21

0 contributions on 2026-06-22

0 contributions on 2026-06-23

0 contributions on 2026-06-24

0 contributions on 2026-06-25

0 contributions on 2026-06-26

0 contributions on 2026-06-27

0 contributions on 2026-06-28

0 contributions on 2026-06-29

0 contributions on 2026-06-30

stars earned

repositories

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