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

pywinding - A simulation tool for the design and evaluation of induction microcoils

List of Philosophy Algorithms

🕸️ 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

Seismometer documentation, code, and Flutter app

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

A tutorial on well-founded recursion in Rocq

Math Mindscape dives into core discrete math concepts like logic, proofs, set theory, functions, relations, combinatorics, graph theory, and related algorithms. Each topic includes clean Python code and examples to reinforce understanding through practice. It’s a go-to repo for revision, self-study, and building strong fundamentals in CS

Electrical engineering is the study, design and application of equipment, devices and systems which use electricity, electronics, and electromagnetism.

A VLF induction balance metal detector with a wooden body

House Prices: Advanced Regression Techniques

Haskell implementation of aspects of the theory of Aligned Induction

Implementation of Kalmus’ guidance method for robot navigation

Writes algorithms with multiple predicates

induction and capacity meter with pic controller.

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)

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