Pinned Repositories
free-programming-books
googlecolab
google colaboratory boilerplates
lime
Lime: Explaining the predictions of any machine learning classifier
todun's Repositories
todun/oreilly-qc.github.io
Code samples for Programming Quantum Computers, from O'Reilly Media
todun/Youtube-dl-WebUI
:movie_camera: A WebUI for youtube-dl, background and multiple downloads implemented
todun/ads
Applied Discrete Structures using PreTeXt
todun/api-covid19-in
COVID Rest API for India data, using Cloudflare Workers
todun/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.
todun/corona-APIs
API for Current cases and more stuff about COVID-19 or the Novel Coronavirus Strain
todun/coronaIndia
todun/covid19india-cluster
:microscope: COVID19 India Cluster Network
todun/CS102-Algorithm-Analysis
Algorithm Analysis
todun/discrete-book-open-introduction
An open textbook for Discrete Mathematics, as taught at the University of Norther Colorado
todun/dwave-ocean-sdk
Installer for D-Wave's Ocean tools
todun/emacs-for-clojure
todun/FirstCourseNetworkScience
Tutorials, datasets, and other material associated with textbook "A First Course in Network Science" by Menczer, Fortunato & Davis
todun/googlebrain-automl-models
Google Brain AutoML
todun/grocy
ERP beyond your fridge - grocy is a web-based self-hosted groceries & household management solution for your home
todun/hott-book
A textbook on informal homotopy type theory
todun/kubernetes-up-and-running
Example code and files from "Kubernetes: Up and Running"
todun/loving-common-lisp
Open source examples for my book "Loving Common Lisp, or the Savvy Programmer's Secret Weapon"
todun/Mezzano
An operating system written in Common Lisp
todun/ninjam
NINJAM server, clients, autosong, etc
todun/node-app-infra-as-code
Node Application Test
todun/node-app-terraform-infra-as-code
Repository to store terraform files
todun/openventilator
OpenSource Ventilator for the COVID-19 crisis. We aim to provide a cheap and reliable solution for respiratory deseas and inaccesibility to this kind of ventilation medical equipment
todun/Packt-Learn-Discrete-Mathematics
Published by Packt
todun/Packt-Math-with-Python-Cookbook
Math with Python Cookbook, Published by Packt
todun/tensortrade
An open source reinforcement learning framework for training, evaluating, and deploying robust trading agents.
todun/tensult-terraform
Terraform automation for Cloud
todun/terraform-provider-aws
Terraform AWS provider
todun/timezone-boundary-builder
A tool to extract data from Open Street Map (OSM) to build the boundaries of the world's timezones.
todun/uxbox
UXBOX - The Open-Source prototyping tool