Projects in Awesome Lists tagged with induction
A curated list of projects in awesome lists tagged with induction .
https://github.com/Ashish7129/Graph_Sampling
Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.
big-data big-data-analytics breadth-first-search data-mining graphs induction network network-analysis network-science networkx python random-walk sample sampling social-network-analysis subgraph
Last synced: 19 Jul 2025
https://github.com/spamegg1/math-for-cs-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
calculus computer-science counting functions graph graph-theory induction logic math number-theory probability proofs random-walks rsa-cryptography set-theory sets solution
Last synced: 02 Jan 2026
https://github.com/thingengineer/reactorforge
High power induction heating platform
240ac atmel avr blacksmith diy diy-induction-heater forge i2r-heating induction induction-heater induction-heating induction-machine inverter knifesmith lenz melt-metal microcontroller power-electronics reactor-forge resistive-heating
Last synced: 23 Oct 2025
https://github.com/breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
adjacency-matrix arithmetic-circuits automata finite-fields finite-state-machine functional-graphs graph graph-algorithms graph-grammars graph-matching graph-theory graph-transformation graph-visualizations graphs induction kotlin linear-algebra parsing
Last synced: 05 Apr 2025
https://github.com/imandra-ai/imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
formal-methods imandra induction stdlib
Last synced: 24 Oct 2025
https://github.com/infra-helpers/induction-monitoring
Induction to monitoring
elasticsearch events induction kibana monitoring opentraveldata optd qa quality-assurance query time-series
Last synced: 10 Mar 2026
https://github.com/machine-learning-helpers/induction-python
Python source code derived from books about Machine Learning (ML)
ai artificial-intelligence classification cookiecutter-data-science docker induction jupyter jupyter-lab jupyter-notebook jupyterlab machine-learning machine-learning-algorithms ml model prediction python python-jupyter-notebooks python-virtual-environments python3 regression
Last synced: 05 May 2025
https://github.com/dyk-team/robot_navigation_kalmus_guidance_method
Implementation of Kalmus’ guidance method for robot navigation
filters fpga induction kalmus-guidance magnetic-coils magnetic-dipole magnetic-field mobile-robots motor-control navigation orientation-sensor pickup-coil pwm-driver quasi-static remote-sensing tracking-system wireless-power-transfer
Last synced: 06 Feb 2026
https://github.com/emikodes-unimi/esercizi-logica-matematica
🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI
boole fitch fitch-algorithm fitch-proofs induction logic-programming logica logical-programming math milan milano of proof tarski tarski-axiom tarski-s-world unimi university
Last synced: 01 Mar 2026
https://github.com/tejasraman/seismometer
Seismometer documentation, code, and Flutter app
dart flutter induction mcp3208 pi5 python raspberry-pi raspberry-pi-5 seismometer
Last synced: 06 May 2026
https://github.com/io12/coq-proofs
My proofs for the Coq proof assistant
coq coq-proofs induction proof-assistant
Last synced: 12 Oct 2025
https://github.com/gijs-pennings/rocq-wf-recursion
A tutorial on well-founded recursion in Rocq
binary-search-tree coq gcd induction quicksort recursion rocq tutorial well-founded
Last synced: 25 Sep 2025
https://github.com/fwcd/induction
Simulation of electromagnetic induction
electromagnetic-fields induction
Last synced: 03 Mar 2026
https://github.com/fhightower/inductive-puzzles
Inductive puzzle to challenge and perplex (https://hightower.space/inductive-puzzles/)
induction inductive-puzzle puzzle
Last synced: 13 Apr 2025
https://github.com/fatima-sami55/math-mindscape
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
discrete-mathematics graph-theory induction logic proofs python3
Last synced: 19 Jun 2025
