Pinned Loading
Repositories
- proof-pad Public Forked from calebegg/proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
fovi-llc/proof-pad’s past year of commit activity - code-interpreter Public Forked from e2b-dev/code-interpreter
Python & JS/TS SDK for adding code interpreting to your AI app
fovi-llc/code-interpreter’s past year of commit activity - python-agentspeak Public Forked from niklasf/python-agentspeak
A Python-based interpreter for the agent-oriented programming language JASON
fovi-llc/python-agentspeak’s past year of commit activity - localForage Public Forked from localForage/localForage
💾 Offline storage, improved. Wraps IndexedDB, WebSQL, or localStorage using a simple but powerful API.
fovi-llc/localForage’s past year of commit activity - jupyterlite Public Forked from jupyterlite/jupyterlite
Wasm powered Jupyter running in the browser 💡
fovi-llc/jupyterlite’s past year of commit activity - Jupyter-RDFify Public Forked from SemWebNotebooks/Jupyter-RDFify
IPython Extension for semantic web technology support (Turtle, SPARQL, ShEx, etc.) compatible with Jupyter Notebooks
fovi-llc/Jupyter-RDFify’s past year of commit activity - unsloth-notebooks Public Forked from unslothai/notebooks
Unsloth Fine-tuning Notebooks for Google Colab, Kaggle, Hugging Face and more.
fovi-llc/unsloth-notebooks’s past year of commit activity - gpu-jupyter Public Forked from iot-salzburg/gpu-jupyter
GPU-Jupyter: Your GPU-accelerated JupyterLab with a rich data science toolstack, TensorFlow and PyTorch for your reproducible deep learning experiments.
fovi-llc/gpu-jupyter’s past year of commit activity - bcolz-zipline Public Forked from stefan-jansen/bcolz-zipline
A columnar data container that can be compressed.
fovi-llc/bcolz-zipline’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…