Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Jupyter Notebook
The Jupyter Notebook, previously known as the IPython Notebook, is a language-agnostic HTML notebook application for Project Jupyter. Jupyter notebooks are documents that allow for creating and sharing live code, equations, visualizations, and narrative text together. People use them for data cleaning and transformation, numerical simulation, statistical modeling, data visualization, machine learning, and much more.
- GitHub: https://github.com/topics/jupyter-notebook
- Wikipedia: https://en.wikipedia.org/wiki/Project_Jupyter#Jupyter_Notebook
- Repo: https://github.com/jupyter/notebook
- Created by: Fernando Pérez, Brian Granger, and Min Ragan-Kelley
- Released: December 2011
- Related Topics: ipython, python, machine-learning, data-visualization, kernel,
- Aliases: jupyter, ipython-notebook, ipynb, ipynb-jupyter-notebook, ipynb-notebook,
- Last updated: 2024-11-15 00:15:47 UTC
- JSON Representation
https://github.com/wesgtox/compilers
College "Compilers" exercises.
c colab-notebook colaboratory compiler csharp java jupyter-notebook python
Last synced: 13 Nov 2024
https://github.com/christianp/jupyter-interactions-site
gallery jupyter jupyter-notebook static-site
Last synced: 06 Nov 2024
https://github.com/sdam-au/gi_etl
Repository for extraction, transformation and cleaning of PHI dataset
epigraphy etl inscriptions jupyter-notebook python r
Last synced: 06 Nov 2024
https://github.com/miksus/jubox
Pythonic way to operate Jupyter Notebooks in Python
Last synced: 31 Oct 2024
https://github.com/matsumotosan/numerical-linear-algebra
Jupyter notebooks on concepts from numerical/computational linear algebra. Inspired by Professor Rachel Thomas' class on computational linear algebra.
applied-linear-algebra computational-linear-algebra jupyter-notebook linear-algebra numerical-linear-algebra pytorch
Last synced: 28 Oct 2024
https://github.com/billypilgrim22/wordle-in-python
jupyter jupyter-notebook python python3 wordle wordle-game wordle-python
Last synced: 14 Nov 2024
https://github.com/saket-sk/sppu-semester7-cl7_lab
Assignments Comprising ICS (Information & Cyber Security) and MLA (Machine Learning and Applications)
computer-security cyber-security java jupyter-notebook machine-learning python r rstudio-server security
Last synced: 10 Nov 2024
https://github.com/xushiyan/udacity-machine-learning
Content for Udacity's Machine Learning curriculum
jupyter-notebook machine-learning numpy pandas python reinforcement-learning scikit-learn supervised-learning udacity-machine-learning unsupervised-learning
Last synced: 13 Oct 2024
https://github.com/mattdelaune/ecommerce_market_basket_analysis
This repository includes a Market Basket Analysis (MBA) project with advanced data cleaning and a Power BI dashboard. It identifies top revenue-driving item pairs, their impact on CLV and ATV, and offers insights for optimized product bundling and revenue growth.
anaconda git google-docs jupyter-notebook kaggle-api numpy pandas postgresql powerbi psql random sql sql-magic sqlalchemy vscode
Last synced: 11 Oct 2024
https://github.com/saket-sk/building-a-recommendation-engiene-course
Building a Recommendation engine course walkthrough. IDE used :- Spyder ; Environment name :- RecSys (created in Anaconda Navigator) ; Python Package used :- Surprise ; Tutor :- Frank Kane, Sundog Education
anaconda artificial-intelligence dataset jupyter-notebook machine-learning python recommender-system spyder surprise-python tutorial
Last synced: 10 Nov 2024
https://github.com/shihanng/iruby-docker
Jupyter Docker Stack image with Ruby kernel (iruby) for Jupyter/IPython Notebook enabled.
docker iruby iruby-notebook jupyter-notebook jupyterlab python ruby
Last synced: 24 Oct 2024
https://github.com/wkrzywiec/polish-crops
Machine learning project to find out if price of a wheat in Poland depends on a weather.
decision-tree-regression eurostat imgw jupyter-notebook linear-regression machine-learning matplotlib-pyplot numpy pandas pipenv poland polynomial-regression python random-tree regression-models scikit-learn support-vector-regression
Last synced: 29 Oct 2024
https://github.com/rakumar99/cancer-prediction-using-machine-learning-
This project uses PyCaret to classify cancer as malignant or benign based on cell nucleus features from fine needle aspirate (FNA) images. The best-performing model achieved an AUC score of 99.47%, ensuring accurate detection for early diagnosis.
classification jupyter-notebook machine-learning pycaret python vscode
Last synced: 31 Oct 2024
https://github.com/sulagna-dutta-roy/coupon-prediction
Major League Hacking submission for machine learning challenge.
jupyter-notebook machine-learning major-league-hacking
Last synced: 31 Oct 2024
https://github.com/chesterxalan/handwritingrecognition-pytorch
A sample for handwriting recognition in PyTorch.
ai deep-learning handwriting-recognition jupyter-notebook python
Last synced: 15 Nov 2024
https://github.com/angelonazzaro/zamatcher
ZaMatcher is the AI module powering OpenMeet's user recommendation system.
ai classification clustering gridsearchcv jupyter-notebook machine-learning open-source
Last synced: 07 Nov 2024
https://github.com/sameetasadullah/neural-network-implementation
Neural Network implemented with different Activation Functions i.e, sigmoid, relu, leaky-relu, softmax and different Optimizers i.e, Gradient Descent, AdaGrad, RMSProp, Adam. You can choose different loss functions as well i.e, cross-entropy loss, hinge-loss, mean squared error (MSE)
activation-functions adagrad adam-optimizer cross-entropy-loss gradient-descent hinge-loss jupyter-notebook leaky-relu loss-functions mean-squared-error neural-network optimizers pycharm pycharm-ide python python3 relu-activation rmsprop sigmoid-activation softmax-activation
Last synced: 08 Nov 2024
https://github.com/pinedah/escom_development-of-applications-for-data-analysis
This repository is a personal collection of programs, exercises, and notes from the Development of Applications for Data Analysis course at Instituto Politécnico Nacional (IPN). As part of the Bachelor's in Data Science, the course focuses on developing practical skills in Python for data analysis.
data-analysis data-science data-visualization jupyter-notebook python python-data-analysis
Last synced: 31 Oct 2024
https://github.com/emanuelcop3/detecao-de-fraude-de-transacoes
Um projeto de ciência de dados para prever se uma transação é uma fraude ou não.
algorithms jupyter-notebook machine-learning
Last synced: 28 Oct 2024
https://github.com/radames/jupyter_observable_widget
Experiment embedding Observablehq notebook inside a jupyter notebook
jupyter jupyter-notebook observable-notebook observablehq
Last synced: 26 Oct 2024
https://github.com/grantgasser/neural-network-mnist-keras
Simple neural network for the MNIST dataset
jupyter-notebook keras mnist neural-network python
Last synced: 28 Oct 2024
https://github.com/farscent/oemoem2024-dsai-challenge
My submission for Omah-Ti's DSAI Data Analysis Challenge.
exploratory-data-analysis jupyter-notebook linear-regression machine-learning python random-forest
Last synced: 31 Oct 2024
https://github.com/varnitasharma/openweatherapi
This API project utilizes the free tier of OpenWeatherMap's API.
ai api jupyter-notebook openweather-api python
Last synced: 31 Oct 2024
https://github.com/quinta0/forestfire
An assignment for the Probability & Statistics course at USI that aims to model the spread of forest fires over a grid representing a forest landscape. The simulation accounts for various factors such as different vegetation types, terrain elevation, wind speed and direction, humidity levels, and spontaneous ignition.
assignment documentation jupyter-notebook probability python simulation statistics
Last synced: 10 Nov 2024
https://github.com/harsh0713/sms-spam-classification
The "SMS Spam Classification" project aims to develop a machine learning model to automatically identify and classify SMS messages as either spam or legitimate (ham).
bernoulli gaussian-naive-bayes jupyter-notebook multinomial-naive-bayes nltk-python punkt python sklearn-library stopwords streamlit string
Last synced: 31 Oct 2024
https://github.com/tiesen243/data-analyst
A simple data visualization with python
data-visualization jupyter-notebook
Last synced: 10 Nov 2024
https://github.com/manasvigoyal/riveted-joints
A python program to Design Longitudinal Butt Joint and Circumferential Lap Joint.
jupyter-notebook machine-design python rivet
Last synced: 13 Nov 2024
https://github.com/quinta0/bostonhousing
An assignment for the Probability & Statistics course at USI about The Boston Housing Price Prediction project that involves building a machine learning model to predict housing prices.
assignment documentation jupyter-notebook probability python statistics
Last synced: 10 Nov 2024
https://github.com/allanotieno254/supervised-method--decision-trees--algorithms-diabetes-prediction-
Supervised-method--Decision-trees--algorithms-Diabetes-prediction if either one has diabetes or not
decision-tree-classifier googlecolab jupyter-notebook pandas-dataframe pandas-python supervised-machine-learning visualization
Last synced: 06 Nov 2024
https://github.com/laurentpayot/graia
An *experimental* neural network library.
ai futhark jupyter-notebook neural-network
Last synced: 12 Nov 2024
https://github.com/getcontrol/geospatial
Geospatial coding & visualization projects
geospatial geospatial-data gis jupyter-notebook kepler kepler-gl python
Last synced: 08 Nov 2024
https://github.com/mingrammer/deep-learning-from-scratch
Jupyter notebooks for "deep learning from scratch" book
deep-learning deep-learning-from-scratch-master jupyter-notebook tutorial
Last synced: 10 Nov 2024
https://github.com/thecuriousjuel/daily-dose-python
This repository contains the Jupyter notebook files and pdf files for all code demonstrations.
jupyter-notebook programming python-3
Last synced: 07 Nov 2024
https://github.com/manwithacap/dataset-analyzation-project
A repo for Project 1 of the OSU Bootcamp. This dataset analyzation project focuses on housing, incomes, and employment in the United States.
dataset-analysis datasets ipynb-jupyter-notebook jupyter-notebook
Last synced: 13 Nov 2024
https://github.com/elcosas/spad_regression_research
Experimentations with various non-parametic regression algorithms for reconstructing transient response curves from SPAD sensors
image-processing-python jupyter-notebook
Last synced: 03 Nov 2024
https://github.com/mayankyadav23/t20i-world-cup-2024-analysis
Explore my Jupyter Notebook 📊 featuring comprehensive datasets and visualizations from the 2024 T20 World Cup analysis. Discover key insights into player performances 🏏, match statistics 📈, and team dynamics, making it a valuable resource for cricket enthusiasts and analysts alike! 🌟et enthusiasts and analysts alike!
cricket data-cleaning-and-preprocessing data-visualization icc insights jupyter-notebook t20-world-cup
Last synced: 31 Oct 2024
https://github.com/sondosaabed/introducing-generative-ai-with-aws
aws generative-ai jupyter-notebook python
Last synced: 06 Nov 2024
https://github.com/fscm/docker-jupyter
Docker recipe to build an Jupyter Notebook image
docker docker-image dockerfile jupyter jupyter-notebook jupyterlab python3
Last synced: 07 Nov 2024
https://github.com/kumar-laxmi/learning_machine-learning-algorithm
All Machine Learning Algorithm practiced during Certification Course
gradient-descent jupyter-notebook linear-regression machine-learning ml
Last synced: 10 Nov 2024
https://github.com/ivaniscoding/intropythonworkshop
An interactive introductory workshop to Python
jupyter-notebook python-workshop
Last synced: 03 Nov 2024
https://github.com/blob42/face_generation_gan
Generative Adverserial Network for face generation using Tensorflow and DCGAN architecture
celeba dcgan deep-learning gan generative-adversarial-network jupyter-notebook mnist nd101 tensorflow
Last synced: 31 Oct 2024
https://github.com/chilipp/psyplot-icon-c2sm-meeting-20220215
Presentation material for the psyplot demonstration at the ICON C2SM-Meeting 2022/1
icon jupyter jupyter-notebook presentation psyplot tutorial visualization
Last synced: 03 Nov 2024
https://github.com/j6k4m8/powerbook
Generate Powerpoint presentations from Jupyter Notebook results
jupyter jupyter-notebook matplotlib powerpoint presentation python reproducibility slideshow
Last synced: 03 Nov 2024
https://github.com/hunkyjimpjorps/chairmans-census
A tool to find in-game demographic data for a Final Fantasy XIV Free Company (guild)
ffxiv finalfantasyxiv jupyter-notebook xivapi
Last synced: 06 Nov 2024
https://github.com/laurenzsommerlad/tum.ai-makeathon2024-amigo-challenge
Detection of rare child diseases by applying graph machine learning to a remote dataset with federated machine learning
classifier cypher docker federated-learning graph-machine-learning jupyter-notebook knowledge-graph neo4j privacy-preserving-ml python random-forest
Last synced: 10 Oct 2024
https://github.com/aswinbarath/ml-classifier
A Machine Learning model which performs classification
classification image-classification jupyter-notebook machine-learning matplotlib-pyplot python3 scikit-learn
Last synced: 06 Nov 2024
https://github.com/sunnybibyan/exploratory-data-analysis-eda
Welcome to the Titanic Dataset - Exploratory Data Analysis (EDA) project repository! This project aims to uncover insights from the Titanic dataset using Python and Jupyter Notebook. By analyzing key variables such as age, gender, and class, we aim to visualize relationships between passenger characteristics and survival rates.
data-analysis data-visualization jupyter-notebook python titanic-dataset
Last synced: 31 Oct 2024
https://github.com/chantalmaskell/floyd-warshall-recursion
Software Development project to create a recursive implementation of the Floyd-Warshall algorithm
jupyter-notebook python unittest yml
Last synced: 07 Nov 2024
https://github.com/escorciav/drlnd-navigation
Deep Q-learning Network for autonomous navigation
jupyter-notebook python3 pytorch reinforcement-learning unity
Last synced: 12 Nov 2024
https://github.com/deejungx/nhcr
Nepali Handwritten Character Recognition using DHCD dataset
deep-learning flask jupyter-notebook python
Last synced: 03 Nov 2024
https://github.com/twsl/heavydrinkingdetection
Heavy Drinking Detection using Smartphone Data
catboost data-science jupyter-notebook lightgbm optuna scikit-learn sklearn xgboost
Last synced: 10 Nov 2024
https://github.com/savitar-hub/image-classification
Notebooks on how image classification can help businesses make better decisions and improve the customer experience.
image-classification image-processing jupyter-notebook numpy opencv pandas pytorch tensorflow
Last synced: 06 Nov 2024
https://github.com/jaidevd/talentsprint-workshop
TalentSprint workshop on Machine Learning in November 2017
data-science jupyter-notebook machine-learning python sklearn tutorial
Last synced: 16 Oct 2024
https://github.com/labrijisaad/axa-direct-ml-apprenticeship
Repository showcasing my Machine Learning Engineering Apprenticeship at AXA-Direct Assurance, contributing to the development and implementation of Machine Learning solutions.
azure-devops data-drift databricks jupyter-notebook kedro machine-learning machine-learning-engineering mlflow python
Last synced: 06 Nov 2024
https://github.com/robert-zacchigna/robert-zacchigna.github.io
Personal site of data science related projects ranging from data analysis and exploration to machine learning and prediction models (mostly using Jupyter Notebook).
data-science jekyll jekyll-site jupyter jupyter-notebook machine-learning python
Last synced: 06 Nov 2024
https://github.com/lorenzopegorari/cremonaroadaccidentsanalysis
Analysis of road accidents that happened in Cremona, Lombardy, Italy, between 2009 and 2022. Made using Jupyter Notebook, pandas, seaborn and matplotlib.
data-analysis-python jupyter-notebook matplotlib pandas python seaborn
Last synced: 06 Nov 2024
https://github.com/osteele/nbcollate
Collate Jupyter assignment notebooks
classroom classroom-tools cli jupyter jupyter-notebook
Last synced: 11 Oct 2024
https://github.com/restrepo/bsm-submodules
SARAH toolbox with each tool as a submodule
binder jupyter jupyter-notebook madgraph micromegas sarah sarah-toolbox spheno
Last synced: 06 Nov 2024
https://github.com/jbn/idgraph
IPython cell magic for dgraph remote interaction.
dgraph dgraph-client dgraph-tutorial ipython ipython-magic ipython-notebook ipython-notebooks jupyter-notebook juypter
Last synced: 11 Oct 2024
https://github.com/zimmi48/impact-of-switching-bug-trackers
Source and supporting data for "Impact of switching bug trackers: a case study on a medium-sized open source project"
binder-ready case-study github jupyter-notebook reproducible-research research-paper science software-engineering
Last synced: 06 Nov 2024
https://github.com/betulcfb/music_recommender_system
A music recommender system using Python, NLP (TF-IDF), and machine learning (content-based filtering) to analyze video descriptions and suggest similar music. Built with pandas, scikit-learn, and NLTK.
jupyter-notebook python visual-studio-code
Last synced: 31 Oct 2024
https://github.com/llrizvanll/deeplearning
Udacity Deep Learning Nanodegree final Assignments!
deep-learning jupyter-notebook machine-learning neural-network udacity
Last synced: 05 Nov 2024
https://github.com/astropenguin/astro-python-course
:rocket: Introductory course of Python and its libraries for data analysis in astronomy
astronomy google-colab jupyter-notebook python
Last synced: 05 Nov 2024
https://github.com/invictusaman/insurance-cost-analysis-regression
Showcasing Simple Linear, Multiple Linear, Polynomial and Ridge Regression on Insurance Cost Dataset to predict insurance price. Also, I have generated a report using Quarto.
jupyter-notebook linear-regression machine-learning multiple-linear-regression notebooks pipeline polynomial-regression quarto regression ridge-regression
Last synced: 31 Oct 2024
https://github.com/evardnk/dataanalyticsportfolio
Собрание моих проектов по аналитике данных
api automation data-analysis etl-pipeline jupyter-notebook jupyterlab kpis numpy pandas pipeline postgresql powerbi python sql visualization
Last synced: 31 Oct 2024
https://github.com/msiddhu/ml-notebooks
Machine Learning projects.
jupyter-notebook machine-learning
Last synced: 30 Oct 2024
https://github.com/negativenagesh/lung-cancer
Exploratory Data Analysis of Lung Cancer Risk Factors
blogging data-engineering data-science documentation exploratory-data-analysis jupyter-notebook lung-cancer math python statistics visualization
Last synced: 05 Nov 2024
https://github.com/negativenagesh/web-scraping-beautifulsoup
FIDE TOP 100 PLAYERS JUNE 2024
html jupyter-notebook pandas python python-requests web-scraping
Last synced: 05 Nov 2024
https://github.com/nizarassad/digits-recognition
This project is a machine learning classification task on MNIST using SVM and CNN algorithms
classification colab-notebook convolutional-neural-networks data-analysis data-science deep-learning jupyter-notebook machine-learning neural-network python support-vector-machines
Last synced: 07 Nov 2024
https://github.com/nizarassad/weapon-detection
This project addresses the escalating challenge of gun violence through the development of an advanced gun detection system.
cctv-detection data-science deep-learning jupyter-notebook machine-learning object-detection python real-time-object-detection real-time-object-detection-models real-time-object-tracker roboflow vgg16 yolov5 yolov7 yolov8
Last synced: 07 Nov 2024
https://github.com/thattanmay/config
master config settings
config jupyter-notebook mpv powershell windows
Last synced: 10 Nov 2024
https://github.com/kbdharun/dl-lab
This repository contains the programs that I worked out in the Deep Learning Essentials Laboratory.
college deep-learning dl ipynb jupyter-notebook machine-learning ml python sastra university
Last synced: 13 Nov 2024
https://github.com/roqhdehd502/namin-neural-network
This is my first deep learning Work-piece.
jupyter-notebook python3 tensorflow
Last synced: 07 Nov 2024
https://github.com/is004/eksplorasi-dataset-covid-19
Eksplorasi dataset Covid-19 menggunakan pandas, matplotlib, dan seaborn.
covid-19 ipynb jupyter-notebook matplotlib pandas seaborn
Last synced: 13 Nov 2024
https://github.com/anonymous-leviathan/hf_transformers
Hugging Face Transformers is an open-source library that provides pre-trained models for natural language processing (NLP) tasks like text classification, translation, and question answering. It supports popular transformer models like BERT, GPT, and T5, making it easy to fine-tune and deploy models for various NLP applications.
huggingface jupyter-notebook machine-learning natural-language-processing python transformer
Last synced: 31 Oct 2024
https://github.com/henriqueotogami/curso-de-python3-udemy
Documentos do curso de Python 3, com arquivos das aulas, e Jupyter Notebook. Conceitos de Machine Learning.
iris-dataset jupyter-notebook linear-regression numpy pandas-python python3 udemy
Last synced: 05 Nov 2024
https://github.com/armi3/programming-III
🧯 This is a collection of exercises I'm doing for my university programming III course. Java, C, Python, Nodejs and Go will be used.
c cplusplus go golang java javascript jupyter-notebook nodejs python university-course
Last synced: 14 Nov 2024
https://github.com/bajajcodes/packetanalysis
Packet Analysis using Wireshark Utilite i.e tshark . Here it is done in two parts One is DNS Packets Analysis which creates a Profile based on DNS Queries and Duration of Watch && Compares with other Profiles. Second IP_Addresses and Port Numbers Analysis in General View.
analysis jupyter-notebook python3 tshark wireshark
Last synced: 03 Nov 2024
https://github.com/romanthekat/drivendata-pump-it-up
https://www.drivendata.org/competitions/7/pump-it-up-data-mining-the-water-table/
catboost jupyter-notebook machine-learning ml python random-forest sklearn xgboost
Last synced: 24 Oct 2024
https://github.com/murat-polat/tutor-contrib-jupyter
Jupyterhub runs as a subdomain of Tutor Open edX, Comes with Pandas, Bokeh, Numpy and other popular libraries. Allows to create multiple users, which has own kernel
docker edx jitsi-meet jupyter-notebook jupyterhub jupyterlab tutor webrtc
Last synced: 15 Oct 2024
https://github.com/xinetzone/xyzstyle
Generic knowledge base template.
book d2py deep-learning jupyter-notebook python sphinx sphinx-theme xyzstyle
Last synced: 10 Oct 2024
https://github.com/echosingh/how-to-talk-to-girls
This repository tells about respectful ways to talk to girls
jupyter-notebook ml python streamlit
Last synced: 05 Nov 2024
https://github.com/kislerdm/name_the_color
Get the color code by the color name, or vice versa
color-scheme css js jupyter-notebook postgresql python r shiny
Last synced: 11 Nov 2024
https://github.com/jordicorbilla/tablepy-lib
This is a versatile and user-friendly Python table library that can quickly render any Dictionary{key, []} or DataFrame into a visually appealing markdown or sql insert
formatter jupyter-notebook markdown python table
Last synced: 06 Nov 2024
https://github.com/hyzhak/linear-regression
Machine Learning: linear regression
jupyter-notebook linear-regression machine-learning regression
Last synced: 05 Nov 2024
https://github.com/we-sci/public_wesci_python_logger
Documentation and examples for using We-Sci's Python Logger
jupyter-notebook open-science precedence provenance provenance-analysis provenance-model python research sdk
Last synced: 05 Nov 2024
https://github.com/aadityasivas/scikit-learn
A jupyter notebook which trains a model with scikit-learn
jupyter-notebook scikit-learn-python
Last synced: 05 Nov 2024
https://github.com/x-actions/python3-nbctl
将ipynb文件转化为hugo markdown文件。Convert ipynb to hugo markdown files
github-actions hugo jupyter-notebook python3
Last synced: 05 Nov 2024
https://github.com/aadityasivas/spacy-text-summarization
A simple text summarizer built with spaCy
jupyter-notebook nlp python spacy
Last synced: 05 Nov 2024
https://github.com/fferegrino/presentpy-jupyter
A Jupyter Extension to turn your Notebooks and Python scripts into beautiful slides.
jupyter-extension jupyter-notebook odp pptx presentation slides
Last synced: 28 Oct 2024
https://github.com/mouad-el-asri/analyze_international_debt_statistics
In this project I have used my data engineering skills to write SQL queries to answer interesting questions about international debt using data from The World Bank. 📊
data-manipulation datasets importing-and-cleaning-data jupyter-notebook postgresql queries sql
Last synced: 07 Nov 2024
https://github.com/ishaansathaye/daily-problems
Daily Coding Problems on CodeSignal and LeetCode
codesignal interview-preparation jupyter-notebook leet problem-solving programming-challenges programming-excercise python
Last synced: 06 Nov 2024
https://github.com/chrispyles/nbforms-server
Backend server for the nbforms Python package
jupyter jupyter-notebook python
Last synced: 05 Nov 2024
https://github.com/goulu/python_finesses
Les finesses de Python
french jupyter-notebook python tutorial
Last synced: 05 Nov 2024
https://github.com/alphax86/hello_ml
This is my repo which contains the code for basic ML.
Last synced: 10 Nov 2024
https://github.com/thery/coq_jupyter
Material for Coq under jupyter
coq jupyter jupyter-notebook logic
Last synced: 06 Nov 2024