ashfaqfarooqui Goto Github PK

explorer

Step through a DES with operations

export-kobo

A Python tool to export annotations and highlights from a Kobo SQLite file.

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

github-cheat-sheet

Cool features of GitHub

goraph

Package goraph implements graph, tree data structures and algorithms.

grobid

A machine learning software for extracting information from scholarly documents

holy-books

An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups

jsylvan

JNI Bindings for Sylvan

kinectcontrolledchabot

kobo-notes

learnangular2

lexic

Fancy Emacs integration with the Console Version of StarDict

logseq-readwise-plugin

markdown-here

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

mides

minimal-mistakes

A responsive Jekyll theme with clean typography and support for large full page images.

modularsuplearner

mpv.el

control mpv for easy note taking

mydotfiles

mypublicip

This python script is based on XMPP and will reply to the sender the IP of the public IP of the system

nixos-hardware

A collection of NixOS modules covering hardware quirks.

nixpkgs

Nix Packages collection

opcua-amq

To hook up AMQ bus to OPC-UA using Eclipse Milo

openpilot

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for over 150 supported car makes and models.

openrave

Open Robotics Automation Virtual Environment: An environment for testing, developing, and deploying robotics motion planning algorithms.

osync

A robust two way (bidirectional) file sync script based on rsync with fault tolerance

playground

promela-mode

Major mode for editing PROMELA program files

pylstar

An implementation of the LSTAR Grammatical Inference Algorithm

quran-md