Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Induction 2021

Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.

High power induction heating platform

Basics of face detection, share detailed steps and complete code in the learning process.

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Open Inverter - Alternative Web Interface

🧊 Інститут формальної математики

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data

Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.

Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans

ATtiny13 based PI (Pulse Induction) Metal Detector

A VLF induction balance metal detector with a wooden body

Simple two-dimensional geophysical inversion for permafrost and ground ice detection using electromagnetic methods.

Python source code derived from books about Machine Learning (ML)

My proofs for the Coq proof assistant

Code and slides for my talk presented at the seminar.