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

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

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.

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

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

High power induction heating platform

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

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

Open Inverter - Alternative Web Interface

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

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

Depth-Bounded PCFG Induction

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

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

Normalizing Flow for PCFG induction

A PTS Supporting Induction

ATtiny13 based PI (Pulse Induction) Metal Detector

A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)

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