mrtkp9993/Isabelle-HOL-Examples

Stars
1
Language Isabelle
Created almost 2 years ago
Updated almost 2 years ago

mrtkp9993/Isabelle-HOL-Examples

mrtkp9993

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Isabelle/HOL examples.

QuantumComputingExamples

Quantum computing examples with QISKit.

SimpleCRUDApp

Simple CRUD Application with Go, Gorilla/mux, MariaDB, Redis.

Cpp-Examples

Numerical C++ examples.

Statistical-Modeling-Examples

Basic statistical modelling examples.

QuantitaveFinanceExamplesPy

Financial analysis, algorithmic trading, portfolio optimization examples with Python (DISCLAIMER - No Investment Advice Provided, YASAL UYARI - Yatırım tavsiyesi değildir).

Jupyter Notebook

DeepLearningExamples

Deep learning examples with Python and Tensorflow & Keras.

NumericalAlgorithms.jl

[DEPRECATED] Statistics & Numerical algorithms implemented in Julia.

AnomalyDetectionCpp

Simple anomaly detection for univariate time series data.

AnomalyDetectionShiny

Shiny app for anomaly detection using AnomalyDetection package.

SimpleGRPCApp

Simple GRPC app with Golang.

DataSciencewithPython

Data Science examples

Jupyter Notebook

VHDLExamples

Numerical-Methods-in-Fortran

[WIP] Numerical methods implemented in Fortran.

UnitTestCpp

Simple header-only C++ library for unit-testing.

svelte-visualization

Earthquake visualization with Svelte.

SimpleCRUDAppNetCore

Simple CRUD Web API example with Swagger in C# and .Net Core 3.0.

PneumoniaDetectionDeepLearning

Pneumonia detection using deep learning with Python and Tensorflow/Keras.

svelte-todo

Todo App with Svelte.

SentimentAnalysisTurkish

Sentiment analysis in Turkish with R.

Machine-Learning-Examples

Basic Machine Learning Examples.

mrtkp9993

SvelteAuth

Svelte Auth0 authentication example.

bayesciistatistik

Bayesci istatistiğe giriş.

mrtkp9993.github.io

My personal webpage.

functional_programming

Functional Programming Examples.

MyDsProjects

My data science projects.

streamlit-stock-performance

Analyze financial instruments' past performances with a just few clicks.

DistributionPlotsSAS

Various probability density/mass function graphs with SAS.

TDAShiny

Persistance and barcode diagrams using TDAstats package.

Bayesian-Inference

Bayesci çıkarıma giriş.

Jupyter Notebook

CompNeuroMatlab

Computational neuroscience examples with MATLAB/GNU Octave.

MathProg

Automated theorem proving, Logic Programming, Optimization examples.

tradesly-supres

Calculate support and resistance levels for a given ticker.

tradesly-cpat

Backtest Candlestick Patterns

autodiff

Reverse-mode automatic differentation in Python.