Search Results for "cell"
Sort By:
Showing 3 open source projects for "cell"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
2
IHaskell
A Haskell kernel for the Jupyter project
...Use h to learn more about the modal interface IHaskell/IPython provides. IHaskell adds a few features on top of the IPython frontends, such as automatic character concealing (typing -> yields an arrow) and input cell folding (via the left and right arrow keys, or the buttons). If input cell folding isn't showing up, you can explicitly enable it via the "Cell Toolbar" (select 'Hiding'). -
3
- Previous
- You're on page 1
- Next
