All Categories → No Category → induction

Top 4 induction open source projects

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

✭ 62

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

discrete-math-python-scripts

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

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

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

✭ 35

TeX Pug path pi hit induction sigma mltt

Open-Inverter-WebInterface

Open Inverter - Alternative Web Interface

✭ 29

javascript PHP C++python powershell shell pcb electric motor motor-controller induction huebner-inverter

1-4 of 4 induction projects