GitHub topics: induction
groupoid/groupoid.space
🧊 Інститут формальної математики
Language: TeX - Size: 76.8 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 34 - Forks: 13
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Language: Kotlin - Size: 122 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 132 - Forks: 11
data61/PSL
Language: Isabelle - Size: 175 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 68 - Forks: 9
luciangreen/Philosophy
List of Philosophy Algorithms
Language: Prolog - Size: 4.33 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 1
ThingEngineer/ReactorForge
High power induction heating platform
Language: C - Size: 18.5 MB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 122 - Forks: 33
nitrece/electrical-engineering
Electrical engineering is the study, design and application of equipment, devices and systems which use electricity, electronics, and electromagnetism.
Size: 2.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
sneeuwballen/zipperposition
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.
Language: OCaml - Size: 29.3 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 141 - Forks: 17
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)
Language: TeX - Size: 11.5 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 150 - Forks: 24
PA2ER/LC-meter
induction and capacity meter with pic controller.
Size: 2.88 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
bobasaurus/lumber-plunder-metal-detector
A VLF induction balance metal detector with a wooden body
Language: C - Size: 35.9 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 5 - Forks: 2
caiks/AMES
House Prices: Advanced Regression Techniques
Language: Haskell - Size: 408 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
caiks/Alignment
Haskell implementation of aspects of the theory of Aligned Induction
Language: Haskell - Size: 142 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Ashish7129/Graph_Sampling
Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.
Language: Python - Size: 4.91 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 161 - Forks: 50
DYK-Team/Robot_navigation_Kalmus_guidance_method
Implementation of Kalmus’ guidance method for robot navigation
Size: 98.5 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
luciangreen/Combination-Algorithm-Writer-Multiple-Predicates
Writes algorithms with multiple predicates
Language: Prolog - Size: 68.4 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
imandra-ai/imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
Language: Makefile - Size: 64.5 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
tejasraman/seismometer
Seismometer documentation, code, and Flutter app
Language: Dart - Size: 86 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
alexanderskulikov/discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Language: Jupyter Notebook - Size: 1.63 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 308 - Forks: 118
josedusol/fc-lh
Fundamentos de la Computación in Liquid Haskell
Language: Haskell - Size: 49.8 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
reko-beep/prp-merit-lists
This repository contains previous merit list of inductions. This script is in no way meant to harm prp website but just to keep record of all merit lists.
Language: Python - Size: 12.2 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
hkexgroup/emagpy
MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data
Language: Jupyter Notebook - Size: 36.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 20
dreidpath/SeGuL
Reconstruction of a trival Self Guided Learning algorithm
Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
dimecho/Open-Inverter-WebInterface
Open Inverter - Alternative Web Interface
Language: JavaScript - Size: 67.4 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 12
henryzord/ardennes
An Estimation of Distribution Algorithm for Decision-Tree Induction.
Language: Python - Size: 82.7 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1
great-ideas/induction
Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
AbstractPlay/zendo
A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)
Language: TypeScript - Size: 862 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1
CaldeCrack/CC3101-Matematicas-Discretas-para-la-Computacion
Resolución de los códigos que se pedían para las tareas.
Language: C++ - Size: 1.26 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
bart-inho/EM-inversion-4-buried-ice
Simple two-dimensional geophysical inversion for permafrost and ground ice detection using electromagnetic methods.
Language: MATLAB - Size: 6.26 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 2
Open-Systems-Pharmacology/Hormonal-Contraceptive-Agents-Datasets
Concentration data from studies performed during proprietary drug development programs by Bayer
Size: 8.93 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
ArmanOzcan18/probabilistic-full-program-induction
full-program induction technique extended to probabilistic programs
Language: C - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
caiks/AlignmentC
C++ implementation of aspects of the theory of Aligned Induction
Language: C++ - Size: 188 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
leandrolcampos/daa_paradigms
My solutions to a problem set regarding algorithm design paradigms.
Language: C++ - Size: 262 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
AHartNtkn/IotaTT
A PTS Supporting Induction
Language: Haskell - Size: 84 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 1
io12/coq-proofs
My proofs for the Coq proof assistant
Language: Coq - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2
sher-loh/FIT2014-Theory-of-computation
This unit introduces formal languages, models of computation, and computational complexity. Topics include finite state automata, regular expressions, grammars, pushdown automata, computable functions, Turing machines, polynomial-time reductions, complexity classes P and NP, and NP-completeness.
Language: C - Size: 5.25 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
lpodkalicki/tiny-metal-detector
ATtiny13 based PI (Pulse Induction) Metal Detector
Language: C - Size: 130 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 3
c-cube/tip-parser 📦
[obsolete] parser for https://github.com/tip-org/
Language: OCaml - Size: 91.8 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
tomoncle/face-detection-induction-course
Basics of face detection, share detailed steps and complete code in the learning process.
Language: Python - Size: 6.42 MB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 47 - Forks: 29
lifengjin/db-pcfg
Depth-Bounded PCFG Induction
Language: Python - Size: 123 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 0
lifengjin/acl_flow
Normalizing Flow for PCFG induction
Language: Python - Size: 1.6 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1
rytenlab/ryten_induction
Induction bookdown for the Ryten Lab
Language: TeX - Size: 1.42 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
fhightower/inductive-puzzles
Inductive puzzle to challenge and perplex (https://hightower.space/inductive-puzzles/)
Language: JavaScript - Size: 604 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Daniyal-Murtaza/Discrete-maths-tex-solutions
This repo consists of the solutions of discrete mathematics' homework. It was obliged to be done in the latex format.
Language: TeX - Size: 25.4 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
paulinho-16/MIEIC-MDIS
Todo o conteúdo produzido para a unidade curricular MDIS (Matemática Discreta), para o curso em Engenharia Informática e Computação na FEUP
Size: 7.5 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
petermchale/Math175
Upper-division Combinatorics Class
Language: TeX - Size: 33.8 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
data-protection-helpers/induction-anonymization
Induction to anonymization of data
Language: Jupyter Notebook - Size: 13.9 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
wkolowski/Seminar-Bisimulation-and-Coinduction
Code and slides for my talk presented at the seminar.
Language: TeX - Size: 2.76 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 2
halvors/Nuclear-Physics
Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.
Language: Java - Size: 14.6 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 11 - Forks: 8
machine-learning-helpers/induction-python
Python source code derived from books about Machine Learning (ML)
Language: Jupyter Notebook - Size: 26.5 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
EnigmaVSSUT/Induction-2021
Induction 2021
Language: HTML - Size: 769 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 129
infra-helpers/induction-monitoring
Induction to monitoring
Language: Python - Size: 6.13 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
msramalho/feup-iart-summary
Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans
Language: Prolog - Size: 86.8 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 20 - Forks: 4
ProofEventCheckers/Ouzo
Proof that 20 glasses of Ouzo don't matter by Mathematical Induction
Size: 96.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
dominykasmurauskas/graph-tree
Programa, kuri nustato, ar duotas grafas indukuoja medį, panaudojant vieną iš 6 medžio savybių konsolėje.
Language: C# - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
JavieW/CSCB63-HyperSudoku_Solver
HyperSudoku Solver. Time limit: 2s.
Language: Python - Size: 268 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
dcastrop/coq_ind_coind
A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".
Language: Coq - Size: 204 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
adacollege/fmaths-1-induction
Proof by induction
Language: Jupyter Notebook - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
azurite/haskell-practice
A collection of small haskell programs that serve as a perparation for the exam
Language: Haskell - Size: 10.7 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fwcd/induction
Simulation of electromagnetic induction
Language: Processing - Size: 47.9 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
chrismphilp/bc-induction-website
British Council Induction Prototype
Language: JavaScript - Size: 72 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
YuHu0621/WumpusWorld
Language: Java - Size: 4.51 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
