968 Open source projects that are alternatives of or similar to coq_jupyter

A MongoDB kernel for Jupyter

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.

A Jupyter kernel for Dyalog APL

A Scala kernel for Jupyter

C# kernel for Jupyter

Jupyter Kernel Gateway

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.

An OCaml kernel for Jupyter (IPython) notebook

A polyglot kernel for Jupyter notebooks based on GraalVM.

Implementation of the Jupyter kernel protocol in C++

A Jupyter kernel for Stata. Works with Windows, macOS, and Linux.

🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

Jupyter kernel for scala and spark

Jupyter's kernel for Elixir programming language

A Jupyter kernel for executing Java code.

Jupyter kernel for scala and spark

Minimal Jupyter C kernel

Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

Wolfram Language kernel for Jupyter notebooks

R kernel for Jupyter

R Kernel for Jupyter

The Go kernel for Jupyter notebooks and nteract.

Official mirror of https://gitlab.com/lfortran/lfortran. Please submit pull requests (PR) there. Any PR sent here will be closed automatically.

Jupyter magics and kernels for working with remote Spark clusters

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

Port of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel

Public code developed during my MSc study at University of Bologna

Nautilus Aerokernel

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

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

Jupyter-Notebook inspired Neovim/Vim Plugin

A minimal 64-bit rust kernel and a bunch of configuration scripts that can be used to bootstrap Operating system development using Nightly-Rust compiler.

MT762X WM8960 ALSA SoC machine driver

《了不起的 Markdown》

Mutation analysis tool for Coq verification projects

Hobbyist Operating System targeting x86_64 systems. Includes userspace, Virtual File System, An InitFS (tarfs), Lua port, easy porting, a decent LibC and LibM, and a shell that supports: piping, file redirection, and more.

Jupyter Interactive Widgets library for 3-D mesh analysis

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

Hobby Operating System

MLSpace: Hassle-free machine learning & deep learning development

Using Jupyter Notebook with Django: a presentation

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

Realtek USB Wireless Adapter Drivers [0bda:f179] (Kernel 4.15.x ~ 5.9.x)

Experimental Stand-alone 32-bit Kernel with Bootloader written in AT&T Assembly and Freestanding C

JupyterLab extension to deploy applications to Heroku

Open Source for Allwinner V3S

Linux kernel development & exploitation lab.

Yet another hobby x86 UNIX-like operating system written in C and C++. Features a dynamically linked userspace, an in-house c standard library, and more! And yes, it runs DOOM.

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

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

Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models

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

Docker images of Jupyter Lab for various languages.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

The formal proof of the Odd Order Theorem

Experimental x86_64 kernel project. Planned eventual successor to the kernel in ToaruOS. WIP

A complete tutorial in python for Data Analysis and Machine Learning

Hacktoberfest 2021 you can add anything like simple programs or projects