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

List of Philosophy Algorithms

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)

🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI