Jamshed Khan's repositories
Formal-Verification-of-Bubble-Sort
Formal Verification of the Correctness of a Bubble Sort Implementation Using Coq
Ray-Tracer
An implementation of the ray tracing technique to render images of basic geometric shapes with simple simulation of various concepts (reflection, refraction, scattering etc.) from Physics.
antlr-mega-tutorial
This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.
bioconda-recipes
Conda recipes for the bioconda channel.
CMake-Playground
Playing around with and getting to know CMake.
Implementation-of-Some-Succint-Primitives
Implementation of: an efficient basic bitvector library with constant-time set and get words; a succint, constant-time bit-vector rank-support data structure; a succint, logarithmic-time bit-vector select-support data structure; and wavelet tree construction on arbitrary texts, with serialization, access, rank, and select query support.
k-mer
An attempt on designing an arbitrary length k-mer class; and to generate the codes of the classes for all k-values at compile-time using template metaprogramming.
key-value-collator
Collate collections of key-value pairs, deposited from multiple producers; and iterate over the collated collection.
Caring-for-your-cache-with-AMQs
Implementation of a basic Bloom filter and of a blocked Bloom filter.
CPP-Custom-Container-Playground
Playing around with C++ custom containers and iterators designing.
ffpw
Fastest FastX Parser in the West
GFA-spec
Graphical Fragment Assembly (GFA) Format Specification
Handwritten-Digit-Classifier
A simple classifier for recognizing handwritten characters from image data, implementing the naive Bayes and the k-nearest neighbor classifications.
Huffman-Compressor
A lossless data compressor using the Huffman Coding.
KMC
Fast and frugal disk based k-mer counter
KmerEstimate_Project
A project submitted as the requirement of the course CSE 549 (Computational Biology), titled as "Efficient Parallelization for KmerEstimate: A Streaming Algorithm for Estimating k-mer Counts with Optimal Space Usage". Original serial algorithm available at github.com/srbehera11/KmerEstimate.
the-unix-workbench
:house_with_garden: A Book for Anyone to Get Started with Unix
The-Unix-Workbench-Project
Peer-graded Assignment: Bash, Make, Git, and GitHub
Voronoi-Diagram-Generator
A Voronoi diagram generator for any given set of points in the Euclidean plane using an incremental computation of the corresponding Delaunay triangulation.