477 Open source projects that are alternatives of or similar to z3_tutorial

A visual debugger for Jupyter notebooks, consoles, and source files

The cling C++ interpreter

Develop Dash apps in the Jupyter Notebook and JupyterLab

Transpiler of Python to many other languages

Start Tensorboard in Jupyter Notebook

massively parallel experimentation with Jupyter and AWS Lambda 🐑🌩📒

Sequence prediction using recurrent neural networks(LSTM) with TensorFlow

Repo for various angr ipython features to give it more of a cli feeling

📚 Parameterize, execute, and analyze notebooks

Jupyter notebook server extension to proxy web services.

Docker images of Jupyter Lab for various languages.

A lightweight, multi-tenant, scalable and secure gateway that enables Jupyter Notebooks to share resources across distributed clusters such as Apache Spark, Kubernetes and others.

🐳📊🤓Cookiecutter template to launch an awesome dockerized Data Science toolstack (incl. Jupyster, Superset, Postgres, Minio, AirFlow & API Star)

All-in-one AI container for rapid prototyping

This plugin allows you to configure email notifications for build results

Jupyter handsontable integration

A Quick Look generator for Jupyter/IPython notebooks without further dependencies

IPython Kernel for Jupyter

A rich text editor for markdown cells in Jupyter

Spawns JupyterHub single user servers in Docker containers

A plugin to select syntax highlighting on Jupyter

Kubernetes spawner for JupyterHub

Targoman SMT framework source code

Interactive Jupyter widgets to visualize images, point sets, and meshes in 2D and 3D

Helmut Hoffer von Ankershoffen experimenting with arm64 based NVIDIA Jetson (Nano and AGX Xavier) edge devices running Kubernetes (K8s) for machine learning (ML) including Jupyter Notebooks, TensorFlow Training and TensorFlow Serving using CUDA for smart IoT.

Jupyter Kernel Gateway

Automated generation of tailored bioinformatics Jupyter Notebooks via a user interface.

A Fast, Extensible Progress Bar for Python and CLI

👩‍🏫 Advanced NLP with spaCy: A free online course

《程序员面试金典》(cc150)

Read-only mirror of the Klever Git repository

Jupyter's kernel for Elixir programming language

공공데이터 분석

Jupyter notebook integration with Spyder

A Python package for interactive mapping and geospatial analysis with minimal coding in a Jupyter environment

Save Jupyter Notebooks as PDF

SQLCell is a magic function for the Jupyter Notebook that executes raw, parallel, parameterized SQL queries with the ability to accept Python values as parameters and assign output data to Python variables while concurrently running Python code. And *much* more.

Plotting library for IPython/Jupyter notebooks

Using z3's never been easier (maybe)

PyAF is an Open Source Python library for Automatic Time Series Forecasting built on top of popular pydata modules.

A Swift kernel for IPython.

The Go kernel for Jupyter notebooks and nteract.

Jupyter-Notebook inspired Neovim/Vim Plugin

View flow data as Sankey diagrams

MPyC for Secure Multiparty Computation in Python

C# kernel for Jupyter

No description or website provided.

A guide on how to set up Jupyter with Pyspark painlessly on AWS EC2 clusters, with S3 I/O support

Master the essential skills needed to recognize and solve complex real-world problems with Machine Learning and Deep Learning by leveraging the highly popular Python Machine Learning Eco-system.

💫 Jupyter notebooks for spaCy examples and tutorials

Microsoft's IQ# Server.

Ansible role to setup jupyterhub server (deprecated)

The Los Angeles Times' independent tally of coronavirus cases in California.

Create HTML profiling reports from pandas DataFrame objects

Enterprise Jupyter notebook sharing and collaboration app

Jupyter kernel for Coq

Jupyter Interactive Widgets library for 3-D mesh analysis

A defined interface for working with a cache of executed jupyter notebooks

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

Verteego Data Suite