• Stars
    star
    1
  • Language Isabelle
  • Created about 2 years ago
  • Updated about 2 years ago

Reviews

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

Repository Details

Isabelle/HOL examples.

More Repositories

1

QuantumComputingExamples

Quantum computing examples with QISKit.
Python
77
star
2

SimpleCRUDApp

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

Cpp-Examples

Numerical C++ examples.
C++
43
star
4

Statistical-Modeling-Examples

Basic statistical modelling examples.
R
41
star
5

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
41
star
6

DeepLearningExamples

Deep learning examples with Python and Tensorflow & Keras.
Python
23
star
7

NumericalAlgorithms.jl

[DEPRECATED] Statistics & Numerical algorithms implemented in Julia.
Julia
12
star
8

AnomalyDetectionCpp

Simple anomaly detection for univariate time series data.
C++
11
star
9

AnomalyDetectionShiny

Shiny app for anomaly detection using AnomalyDetection package.
R
10
star
10

SimpleGRPCApp

Simple GRPC app with Golang.
Go
9
star
11

DataSciencewithPython

Data Science examples
Jupyter Notebook
8
star
12

VHDLExamples

VHDL examples.
VHDL
8
star
13

Numerical-Methods-in-Fortran

[WIP] Numerical methods implemented in Fortran.
Fortran
5
star
14

UnitTestCpp

Simple header-only C++ library for unit-testing.
C++
5
star
15

svelte-visualization

Earthquake visualization with Svelte.
JavaScript
4
star
16

SimpleCRUDAppNetCore

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

PneumoniaDetectionDeepLearning

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

svelte-todo

Todo App with Svelte.
JavaScript
3
star
19

SentimentAnalysisTurkish

Sentiment analysis in Turkish with R.
R
3
star
20

Machine-Learning-Examples

Basic Machine Learning Examples.
R
3
star
21

mrtkp9993

2
star
22

SvelteAuth

Svelte Auth0 authentication example.
JavaScript
2
star
23

bayesciistatistik

Bayesci istatistiÄŸe giriÅŸ.
HTML
2
star
24

mrtkp9993.github.io

My personal webpage.
HTML
2
star
25

functional_programming

Functional Programming Examples.
Haskell
1
star
26

MyDsProjects

My data science projects.
TypeScript
1
star
27

streamlit-stock-performance

Analyze financial instruments' past performances with a just few clicks.
Python
1
star
28

DistributionPlotsSAS

Various probability density/mass function graphs with SAS.
SAS
1
star
29

TDAShiny

Persistance and barcode diagrams using TDAstats package.
R
1
star
30

Bayesian-Inference

Bayesci çıkarıma giriş.
Jupyter Notebook
1
star
31

CompNeuroMatlab

Computational neuroscience examples with MATLAB/GNU Octave.
MATLAB
1
star
32

MathProg

Automated theorem proving, Logic Programming, Optimization examples.
Python
1
star
33

tradesly-supres

Calculate support and resistance levels for a given ticker.
Python
1
star
34

tradesly-cpat

Backtest Candlestick Patterns
Python
1
star
35

autodiff

Reverse-mode automatic differentation in Python.
Python
1
star