Pinned Repositories
APRG18
Advanced Programming - Footnotes and Tutorials
BrilliantGameFrame
Game Frames on Brilliant.org
ChainReactionAI
Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction
HaskellBF
A BrainFuck Interpreter in Haskell
IOITC16
Problems from IOITC'16 (India)
lattice-mtl
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
PRGH17
Programming in Haskell Materials - Footnotes and Tutorials
rusty_jam
A Rust Implementation of a Toy Programming Language
Agnishom's Repositories
Agnishom/PRGH17
Programming in Haskell Materials - Footnotes and Tutorials
Agnishom/APRG18
Advanced Programming - Footnotes and Tutorials
Agnishom/IOITC16
Problems from IOITC'16 (India)
Agnishom/lattice-mtl
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
Agnishom/rusty_jam
A Rust Implementation of a Toy Programming Language
Agnishom/HaskellBF
A BrainFuck Interpreter in Haskell
Agnishom/diffbm
Haskell Implementation of Difference Bound Matrices
Agnishom/logic2018
Course Materials for the Logic Course at CMI
Agnishom/Agnishom
Config files for my GitHub profile.
Agnishom/agnishom.github.io
Agnishom/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Agnishom/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
Agnishom/ChemistryPractical
Qualitative, Quantitative and Organic Analysis Techniques
Agnishom/CMI-resources
Old question papers and other miscellaneous stuff used for the coursework at CMI.
Agnishom/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Agnishom/cosmos
[Show :heart: love by 🌟] Your personal library of every algorithm and data structure code that you will ever encounter
Agnishom/example-crud
An Example CRUD app using Opaleye and Servant
Agnishom/Expected-Coin-Tosses
Calculates expected number of coin tosses to see a particular pattern
Agnishom/fibonacci-heap-python
Implementation of a Fibonacci heap in Python
Agnishom/gloss-tic-tac-toe
Tic-Tac-Toe in Haskell with a simple GUI.
Agnishom/haskell-21
Repository for Haskell Lectures and Code
Agnishom/Haskell-Scheme
A simple Scheme implementation written in Haskell
Agnishom/lookaround-regex-lean-cpp-24
Lean formalization of extended regular expressions with lookarounds
Agnishom/mnrl
MNRL Network Representation Language
Agnishom/MoonLight
MoonLight: a light-weight framework for runtime monitoring.
Agnishom/reason-servant
The thing
Agnishom/Simula
3D Window Manager for Linux
Agnishom/SummerTrace
A repository of the tracing tools I worked on for my Summer Project
Agnishom/the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Agnishom/tool_lists
Links to tools by subject