isqnwtn Goto Github PK

ai-lab

lab works for AI lab of sem 5

bash-programming

basicgamemechanism

A basic game mechanism for developing any games. Can be used as a backbone for every game

bots

bots I've created for social media

brick

A declarative Unix terminal UI programming library written in Haskell

car_game

cellular-automaton

A collectiono f cellular automaton written in rust

competitivecoding

all of my competitive coding works from all competitive coding sites

compiler-lab-sem6

works for the compilers lab course

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.

coqworks

A set of proofs written while learning Coq

cpp-c

almost all the things I've learned so far in c++ / c

dfa-simulation-engine

Deterministic Finite Automaton Based Simulation Engine for TSA

doclang

Transpiler that writes into DOT language

dotfiles

Dotfiles I'm using for my machine

emacs

Emacs configuration

fvhs-btp

Formally verified hardware synthesizer . B tech project

gameoflife_cellularautomaton

a cellular automaton. simulation of John conway's game of life

gitignore

A collection of useful .gitignore templates

gpu_programming

all my codes for learning GPU programming

haskell

almost all my works while learning haskell

haskell-easy-c

easy-c is an imperative language that compiles to C, with type inference easy-c eliminates the need to defining types of variables and function arguments

haskell-machine-learning

Works related to machine learning ( and the maths of it) mostly following andrew ng courses

haskell-music

A music generation program

heroku-test

to test heroku

hospital-database-sem6-project

contains works for the sem6 project hopital-database

imagecompressor

a simple image compresssor which works with an algorithm similiar to jpegs image compresssion (to compress images from ppm to txt)

interpreter

a simple interpreter with syntax similiar to python

isqnwtn.github.io

kompress

Implementation of few compression algorithms in haskell