make-4.4.1 free download

Showing 3 open source projects for "make-4.4.1"

View related business solutions

Operating System Kernels Python Clear Filters & Widen Search

Stop Storing Third-Party Tokens in Your Database
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

Rolling 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.

Try Auth0 for Free
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free
1

IPython Kernel for Jupyter

IPython Kernel for Jupyter

This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively.

Downloads: 6 This Week

Last Update: 2026-02-06
See Project
2

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.

Downloads: 3 This Week

Last Update: 2024-01-25
See Project
3

LMSFM Linux

Musician-oriented Linux distro

Let's Make Some F*&^in' Music is a USB-based live Linux distro based on Slackware with the intent of providing a comprehensive music recording and production studio using only FOSS.

Downloads: 0 This Week

Last Update: 2026-01-23
See Project