agnishom Goto Github PK

agnishom

Config files for my GitHub profile.

agnishom.github.io

agnishomstego

Naive Implementation of Last Significant Bit steganography

agnishomsudoku

Naive Implementation of a Backtrack Sudoku Solving Algorithm

aima-python

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

aprg18

Advanced Programming - Footnotes and Tutorials

ascii-art-007

An ASCII Art App

bohratomicmodel

Presentation on Bohr's Atomic Model

brilliantgameframe

Game Frames on Brilliant.org

chainreactionai

Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction

chemistrypractical

Qualitative, Quantitative and Organic Analysis Techniques

cmi-resources

Old question papers and other miscellaneous stuff used for the coursework at CMI.

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.

cosmos

[Show :heart: love by 🌟] Your personal library of every algorithm and data structure code that you will ever encounter

diffbm

Haskell Implementation of Difference Bound Matrices

example-crud

An Example CRUD app using Opaleye and Servant

expected-coin-tosses

Calculates expected number of coin tosses to see a particular pattern

fibonacci-heap-python

Implementation of a Fibonacci heap in Python

gloss-tic-tac-toe

Tic-Tac-Toe in Haskell with a simple GUI.

haskell-21

Repository for Haskell Lectures and Code

haskell-scheme

A simple Scheme implementation written in Haskell

haskellbf

A BrainFuck Interpreter in Haskell

ioitc16

Problems from IOITC'16 (India)

kabooblydoo

Kaboobly Doo Generator

lattice-mtl

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics

logic2018

Course Materials for the Logic Course at CMI

lookaround-regex-lean-cpp-24

Lean formalization of extended regular expressions with lookarounds

mnrl

MNRL Network Representation Language

montecarlopi

Monte Carlo Simulation for Finding Pi