-
-
tensorboard Public
Forked from tensorflow/tensorboardTensorFlow's Visualization Toolkit
TypeScript Apache License 2.0 UpdatedNov 3, 2025 -
-
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean Apache License 2.0 UpdatedJul 19, 2025 -
summon-app Public
Forked from TwillAI/summon-appYour All-in-One Desktop App for Building, Testing and Sharing Model Context Protocol (MCP) Servers & AI Agents.
TypeScript Apache License 2.0 UpdatedJun 10, 2025 -
Kimina-Prover-Preview Public
Forked from MoonshotAI/Kimina-Prover-PreviewTechnical report of Kimina-Prover Preview.
UpdatedApr 27, 2025 -
lean4web Public
Forked from leanprover-community/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedApr 14, 2025 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedApr 10, 2025 -
transformers Public
Forked from huggingface/transformers🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Python Apache License 2.0 UpdatedApr 7, 2025 -
lean4monaco Public
Forked from hhu-adam/lean4monacoBrowser support for Lean using a monaco editor.
TypeScript Apache License 2.0 UpdatedFeb 25, 2025 -
monacopilot Public
Forked from arshad-yaseen/monacopilot⚡️AI auto-completion plugin for Monaco Editor, inspired by GitHub Copilot.
TypeScript MIT License UpdatedFeb 11, 2025 -
chainlit Public
Forked from Chainlit/chainlitBuild Conversational AI in minutes ⚡️
Python Apache License 2.0 UpdatedJan 10, 2025 -
-
-
rag-datacraft Public
Vanilla RAG demoed at Datacraft with Chainlit/Literal AI
Python UpdatedOct 29, 2024 -
langchainjs Public
Forked from langchain-ai/langchainjs🦜🔗 Build context-aware reasoning applications 🦜🔗
TypeScript MIT License UpdatedOct 23, 2024 -
-
-
-
client-python Public
Forked from mistralai/client-pythonPython client library for Mistral AI platform
Python Apache License 2.0 UpdatedAug 12, 2024 -
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedAug 7, 2024 -
-
ragas Public
Forked from vibrantlabsai/ragasEvaluation framework for your Retrieval Augmented Generation (RAG) pipelines
Python Apache License 2.0 UpdatedJun 19, 2024 -
-
outlines Public
Forked from dottxt-ai/outlinesStructured Text Generation
Python Apache License 2.0 UpdatedMay 18, 2024 -
-
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedFeb 21, 2024 -
-
localsend Public
Forked from localsend/localsendAn open source cross-platform alternative to AirDrop
Dart MIT License UpdatedOct 18, 2023 -
xfspell Public
Forked from mhagiwara/xfspellxfspell — the Transformer Spell Checker
Shell UpdatedOct 18, 2023
{{ message }}