Adnan Ahmed's repositories
adnahmed.github.io
A Personal Website for Contact and Portfolio.
000
API
Web Service to Fetch Data for OEIS
Language:Java000
compiler
Compiler for Elm, a functional language for reliable webapps.
Language:HaskellBSD-3-Clause000
Language:Python000
explainshell-cli
explainshell.com CLI implementation in Rust
Language:RustMIT000
ml-cvnets
CVNets: A library for training computer vision networks
Language:PythonNOASSERTION000
node-serialport
Access serial ports with JavaScript. Linux, OSX and Windows. Welcome your robotic JavaScript overlords. Better yet, program them!
Language:JavaScriptMIT000
programmersapi
Backend API for the company website
Language:Go000
sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Language:SMTApache-2.0000
Single-Input-Neuron
A Single Input Neuron implemented in Python.
Language:PythonMIT000