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

Intrepyd Model Checker

Verification framework and tool for higher-order Scala programs

Automated Schedule Generation for Time-Sensitive Networks (TSN).

A modular sat/smt solver with proof output.

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Symbolic execution tool

Haskell bindings to Microsoft's Z3 API (unofficial).

Spawn JupyterHub single-user notebook servers with systemd

Transpiler of Python to many other languages

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Convert Python notebook to web app and share with non-technical users

The power of Chart.js with Python

Engine for ML/Data tracking, visualization, dashboards, and model UI for Polyaxon.

Convert .py files runnable in VSCode or Atom/Hydrogen to Jupyter .ipynb notebooks and vice versa

Dockerized Jupyter kernels.

AWS bootstrap scripts for Mozilla's flavoured Spark setup.

MLSpace: Hassle-free machine learning & deep learning development

Python3 teaching materials for functions and modules (1 day)

Embed visualizations and code from Observable notebooks in Jupyter

《了不起的 Markdown》

Synthesis of Heap-Manipulating Programs from Separation Logic

Swift kernel for Google Colaboratory

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

A complete tutorial in python for Data Analysis and Machine Learning

JupyterLab desktop application, based on Electron.

Colour - Jupyter Notebooks

In-memory Graph Database and Knowledge Graph with Natural Language Interface, compatible with Pandas

The aim of this project is to allow a self driving car to steer autonomously in a virtual environment.

JupyterLab extension that enables monitoring launched Apache Spark jobs from within a notebook

JupyterLab extension to deploy applications to Heroku

CLP(SMT) on top of miniKanren

A modular dynamical-systems model of Ethereum's validator economics

Docker images of Jupyter Lab for various languages.

📙 Interactive, cross-platform JavaScript ES6 / Python 3,2 notebook powered by JupyterLab and Docker

ipywidgets library for drawing directed acyclic graphs in jupyterlab using dagre-d3

A tool for Model Based Testing

A rich text editor for markdown cells in Jupyter

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

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

Jupyter-Notebook inspired Neovim/Vim Plugin

Microsoft's IQ# Server.

Using Jupyter Notebook with Django: a presentation

Formal semantics of LLVM IR in K

Python Machine Learning Snippets contains various machine learning examples as Jupyter notebooks with scikit-learn, statsmodel, numpy and other libraries.

Kaggle을 처음 접하는 사람들을 위한 문서

An IJava binder base for trying the Java Jupyter kernel on https://mybinder.org/

🔬📚 Perl5 language kernel for Jupyter <http://jupyter.org/>

Mercury - data visualize and discovery with Javascript, such as apache zeppelin and jupyter

MaixPy for Linux Python3, let's play with edge AI easier!

folium, bokeh, jupyter, python

IPython2CWL is a tool for converting IPython Jupyter Notebooks to CWL Command Line Tools by simply providing typing annotation.

www.imandra.ai

flowTorch - a Python library for analysis and reduced-order modeling of fluid flows

Pytest magic for IPython notebooks

🐍 This is the most complete course in Python, completely practical and all the lessons are explained with examples, so that they can be easily understood. 🍫

Hacktoberfest 2021 you can add anything like simple programs or projects

Enhancement proposals for the Jupyter Ecosystem

A command line utility to create kernels in Jupyter from virtual environments.

Jupyter kernel for Coq

Jupyter Interactive Widgets library for 3-D mesh analysis