Discover @Agnishom Open Source projects

Agnishom Chattopadhyay (@Agnishom)

Agnishom

Stars
93
Global Rank 218,236 (Top 8 %)
Followers 46
Following 112
Registered over 10 years ago
Most used languages

C++
27.3 %

Python
27.3 %

Haskell
18.2 %

Rust
9.1 %

JavaScript
9.1 %

HTML
9.1 %
Location 🇮🇳 India
Country Total Rank 6,932
Country Ranking

Haskell
70

Rust
480

C++
966

Python
2,162

JavaScript
3,668

PRGH17

Programming in Haskell Materials - Footnotes and Tutorials

APRG18

Advanced Programming - Footnotes and Tutorials

ChainReactionAI

Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction

IOITC16

Problems from IOITC'16 (India)

lattice-mtl

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics

rusty_jam

A Rust Implementation of a Toy Programming Language

BrilliantGameFrame

Game Frames on Brilliant.org

HaskellBF

A BrainFuck Interpreter in Haskell

ZCOSolutions

Solutions to Zonal Computing Olympiad Problems

diffbm

Haskell Implementation of Difference Bound Matrices

logic2018

Course Materials for the Logic Course at CMI