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
-
securedme-public-website
securedme-public-website PublicPublic source for securedme.ca website wiki, media, official docs, and WHC-bound publishing content.
Repositories
- securedme-public-website Public
Public source for securedme.ca website wiki, media, official docs, and WHC-bound publishing content.
- 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
- cactus Public Forked from cactus-compute/cactus
Cross-platform framework for deploying LLM/VLM/TTS models locally on smartphones.
- remote-mcp-functions-dotnet-ReaAaS_n Public Forked from Azure-Samples/remote-mcp-functions-dotnet
MCP azure for hacketon ReaAaS-n and NeuUuR-o
Top languages
Loading…
Most used topics
Loading…