Build software better, together

Ashish7129 / Graph_Sampling

Star

Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.

python sample data-mining big-data network graphs network-science networkx sampling network-analysis social-network-analysis breadth-first-search induction random-walk subgraph big-data-analytics

Updated Dec 4, 2020
Python

ThingEngineer / ReactorForge

Star

High power induction heating platform

Updated Sep 26, 2018
C

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.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

Updated Aug 23, 2021
OCaml

alexanderskulikov / discrete-math-python-scripts

Star

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

python snippets mathematics coursera recursion discrete-mathematics combinatorics ilp sat-solver proofs induction sat ilp-solver

Updated Jan 16, 2021
Jupyter Notebook

data61 / PSL

Star

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

Updated Aug 15, 2021
Isabelle

tomoncle / face-detection-induction-course

Star

Basics of face detection, share detailed steps and complete code in the learning process.

opencv mxnet detection python3 gif face induction

Updated May 14, 2019
Python

breandan / kaliningraph

Sponsor Star

🕸️ A graph based IR in Kotlin

kotlin automata functional graph graph-algorithms linear-algebra induction graph-grammars graph-matching adjacency-matrix graph-visualizations graph-transformation functional-graphs

Updated Aug 5, 2021
Kotlin

groupoid / groupoid.space

Star

🧊 Groupoid Infinity: Theories and Models

language lambda extraction path pi hit induction sigma infinity mltt groupoid

Updated Jul 18, 2021
TeX

dimecho / Open-Inverter-WebInterface

Star

Open Inverter - Alternative Web Interface

pcb electric motor motor-controller induction huebner-inverter

Updated Nov 27, 2020
Shell

msramalho / feup-iart-summary

Star

Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans

neural-network genetic-algorithm artificial-intelligence uncertainty summary search-algorithm heuristics induction feup feup-iart iart

Updated Jun 15, 2018
Prolog

lifengjin / db-pcfg

Star

Depth-Bounded PCFG Induction

grammar induction

Updated Apr 19, 2019
Python

halvors / Nuclear-Physics

Star

Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.

minecraft forge minecraft-mod minecraft-forge edx minecraft-forge-mod induction electrodynamics resonant atomic-science resonant-induction nuclearphysics

Updated Jun 18, 2020
Java

AHartNtkn / IotaTT

Star

A PTS Supporting Induction

language dependent-types paper type-theory alex cabal theory dependent-intersections implicit-products induction

Updated Jan 15, 2018
Haskell

lifengjin / acl_flow

Star

Normalizing Flow for PCFG induction

multilingual flow grammar induction

Updated Jul 17, 2019
Python

henryzord / ardennes

Star

An Estimation of Distribution Algorithm for Decision-Tree Induction.

optimization genetic-algorithm eda classification decision-trees evolutionary-algorithm induction evolutionary-computation optimization-algorithms estimation-distribution-algorithm

Updated Sep 26, 2018
Python

AestheticIntegration / imandra-stdlib

Star

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

stdlib formal-methods induction imandra

Updated Aug 12, 2020
Makefile

infra-helpers / induction-monitoring

Star

Induction to monitoring

elasticsearch qa events query kibana monitoring time-series quality-assurance induction opentraveldata optd

Updated Jun 2, 2021
Python

rytenlab / ryten_induction

Star

Induction bookdown for the Ryten Lab

bookdown induction ryten-lab

Updated Aug 10, 2021
TeX

hkexgroup / emagpy

Star

MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data

gui inversion geophysics python-api induction frequency-domain electromagnetic

Updated Apr 22, 2021
Jupyter Notebook

alexandretea / ddti

Star

Distributed Decision Tree Induction using MPI

cpp14 mpi distributed armadillo induction decision-tree decision-tree-algorithm

Updated Sep 15, 2017
C++

lpodkalicki / tiny-metal-detector

Star

ATtiny13 based PI (Pulse Induction) Metal Detector

avr metal detector pi pulse induction attiny13 coil

Updated Dec 10, 2020
C

EnigmaVSSUT / Induction-2021

Star

Induction 2021

github javascript css android python git html web ai ml python3 induction

Updated May 24, 2021
HTML

io12 / coq-proofs

Star

My proofs for the Coq proof assistant

coq proof-assistant induction coq-proofs

Updated Aug 23, 2021
Coq

AbelCheng / View-plug-ins

Star

(Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.