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

python cryptography algorithms graph-algorithms graphs logic probability mathematics python3 recursion enumeration discrete-mathematics combinatorics dynamic-programming bayes induction number-theory combinatorics-and-probability

• Updated Jan 20, 2026
• Jupyter Notebook

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

computer-science calculus math graph solution functions logic probability set-theory graph-theory counting proofs induction rsa-cryptography number-theory sets random-walks

• Updated Sep 2, 2024
• TeX

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.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

• Updated Oct 26, 2026
• OCaml

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

python sample data-mining big-data network graphs network-science networkx sampling network-analysis social-network-analysis breadth-first-search induction random-walk subgraph big-data-analytics

• Updated Dec 4, 2020
• Python

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

kotlin automata parsing graph graph-algorithms graphs linear-algebra graph-theory finite-state-machine finite-fields induction graph-grammars graph-matching adjacency-matrix graph-visualizations graph-transformation arithmetic-circuits functional-graphs

• Updated Oct 6, 2026
• Kotlin

High power induction heating platform

avr microcontroller forge atmel diy blacksmith induction induction-machine power-electronics lenz inverter induction-heating induction-heater i2r-heating resistive-heating knifesmith reactor-forge melt-metal 240ac diy-induction-heater

• Updated Sep 26, 2018
• C

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

• Updated Aug 9, 2026
• Isabelle

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

opencv mxnet detection python3 gif face induction

• Updated May 14, 2019
• Python

Open Inverter - Alternative Web Interface

pcb electric motor motor-controller induction huebner-inverter

• Updated Dec 13, 2021
• JavaScript

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

path pi hit induction sigma mltt

• Updated Nov 2, 2026
• TeX

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

gui inversion geophysics python-api induction frequency-domain electromagnetic

• Updated Nov 4, 2026
• Jupyter Notebook

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

neural-network genetic-algorithm artificial-intelligence uncertainty summary search-algorithm heuristics induction feup feup-iart iart

• Updated Jun 15, 2018
• Prolog

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

matlab geophysics ice induction geophysical-inversions permafrost electro-magnetics ground-ice-detection dimensional-inversions

• Updated Dec 5, 2022
• MATLAB

Depth-Bounded PCFG Induction

grammar induction

• Updated Apr 19, 2019
• Python

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

minecraft forge minecraft-mod minecraft-forge edx minecraft-forge-mod induction electrodynamics resonant atomic-science resonant-induction nuclearphysics

• Updated Jun 18, 2020
• Java

A VLF induction balance metal detector with a wooden body

metal sensor detector sensors induction vlf detecting metal-detector

• Updated Dec 31, 2024
• C

ATtiny13 based PI (Pulse Induction) Metal Detector

avr metal detector pi pulse induction attiny13 coil

• Updated Apr 9, 2022
• C

A PTS Supporting Induction

language dependent-types type-theory dependent-intersections implicit-products induction

• Updated Jan 15, 2018
• Haskell

Normalizing Flow for PCFG induction

multilingual flow grammar induction

• Updated Jul 17, 2019
• Python

Standard library for [Imandra](https://imandra.ai)

stdlib formal-methods induction imandra

• Updated Aug 15, 2024
• Makefile