PaQBoT
Popular repositories Loading
-
remote-mcp-functions-dotnet-ReaAaS_n
remote-mcp-functions-dotnet-ReaAaS_n PublicForked from Azure-Samples/remote-mcp-functions-dotnet
MCP azure for hacketon ReaAaS-n and NeuUuR-o
Bicep
-
cactus
cactus PublicForked from cactus-compute/cactus
Cross-platform framework for deploying LLM/VLM/TTS models locally on smartphones.
C++
-
mizar-devcontainer
mizar-devcontainer Public templateA zero-configuration development environment for the Mizar Proof Assistant, designed for GitHub Codespaces. This repository provides a declarative Dev Container to get started with formal verificat…
Python
Repositories
- mizar-devcontainer Public template
A zero-configuration development environment for the Mizar Proof Assistant, designed for GitHub Codespaces. This repository provides a declarative Dev Container to get started with formal verification in seconds
SeCuReDmE-open-source/mizar-devcontainer’s past year of commit activity - cactus Public Forked from cactus-compute/cactus
Cross-platform framework for deploying LLM/VLM/TTS models locally on smartphones.
SeCuReDmE-open-source/cactus’s past year of commit activity - remote-mcp-functions-dotnet-ReaAaS_n Public Forked from Azure-Samples/remote-mcp-functions-dotnet
MCP azure for hacketon ReaAaS-n and NeuUuR-o
SeCuReDmE-open-source/remote-mcp-functions-dotnet-ReaAaS_n’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…