Search Results for "cell"
Sort By:
Showing 3 open source projects for "cell"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
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
