Search Results for "steam model checking"
Sort By:
Showing 85 open source projects for "steam model checking"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
Cryptol
Cryptol: The Language of Cryptography
...Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws. -
2
ArviZ.jl
Exploratory analysis of Bayesian models with Julia
ArviZ.jl (pronounced "AR-vees") is a Julia package for exploratory analysis of Bayesian models. It includes functions for posterior analysis, model checking, comparison and diagnostics. -
3
MCP Framework
A framework for writing MCP (Model Context Protocol) servers
The mcp-framework is a TypeScript framework for building Model Context Protocol (MCP) servers elegantly. It provides an out-of-the-box architecture with automatic directory-based discovery for tools, resources, and prompts. The framework offers powerful MCP abstractions, enabling developers to define components in an elegant manner, and includes a CLI to streamline the server setup process. -
4
xiaohongshu-mcp
MCP for xiaohongshu.com
xiaohongshu-mcp is a Model Context Protocol (MCP) server that equips AI assistants with first-class tools for working on Xiaohongshu (Little Red Book), focusing on day-to-day creator and operator workflows rather than generic browsing. The project centers on authenticated actions and data access that matter to content operations, such as checking login state, publishing or scheduling content, fetching recommendations and search results, reading post details, and acting on comments. ... -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
BIMserver
The open source BIMserver platform
The Building Information Model server (short: BIMserver) enables you to store and manage the information of a construction (or other building related) project. Data is stored in the open data standard IFC. The BIMserver is not a fileserver, but it uses a model-driven architecture approach. This means that IFC data is stored as objects. You could see BIMserver as an IFC database, with special extra features like model checking, versioning, project structures, merging, etc. ... -
6
FNA
Accuracy-focused XNA4 reimplementation for open platforms
FNA is a reimplementation of the Microsoft XNA Game Studio 4.0 Refresh libraries. FNA is primarily developed by video game porter Ethan Lee, who has shipped more than four dozen ports of XNA games using the exact branch that you see on GitHub today! You can see some examples of Steam games using FNA. A full list of FNA games on Steam can be found at this webpage. Developer documentation can be found on the FNA wiki, and player documentation can be found on the PCGamingWiki. Our goal is to... -
7
MCP Package Version
An MCP server that provides LLMs with the latest stable package
The Package Version MCP Server provides tools for checking the latest stable package versions from multiple package registries, including npm, PyPI, Maven Central, Go Proxy, Swift Packages, AWS Bedrock, Docker Hub, GitHub Container Registry, and GitHub Actions. -
8
Azure CLI MCP
Talk with Azure using MCP
An MCP server that enables AI assistants to interact with Microsoft Azure via the Azure CLI, allowing tasks such as listing resources, checking configurations, fixing issues, and creating new resources through conversational commands. -
9
brms
brms R package for Bayesian generalized multivariate models using Stan
...It allows R users to specify complex Bayesian models using formula syntax similar to lme4 but with far more flexibility (distributions, link functions, hierarchical structure, nonlinear terms, etc.). It supports model diagnostics, posterior predictive checking, model comparison, custom priors, and advanced features such as distributional regression. -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. Unlike SQL, Mangle’s declarative syntax naturally supports recursion and modular program structure, making it suitable for representing hierarchical or interconnected datasets like dependency graphs or knowledge graphs. ... -
11
dsh-routing-suite
dsh-routing-suite — injector + router-standard kit
...Its injector can add, hot-reload, promote, remove, and repair routes without restarting the runtime. The included router presets choose among planning, execution, weak self-classification, and deeper reasoning behaviors based on the task and model. Near-field guidance is injected after user messages to keep routing focused and resist drift. Static anchors reinforce recall, convergence, and staying on task during longer work. The suite also exposes developer tools for checking router state, changing modes, and launching mode-specific subagents. -
12
Thinc
A refreshing functional take on deep learning
...Switch between PyTorch, TensorFlow and MXNet models without changing your application, or even create mutant hybrids using zero-copy array interchange. Develop faster and catch bugs sooner with sophisticated type checking. Trying to pass a 1-dimensional array into a model that expects two dimensions? That’s a type error. Your editor can pick it up as the code leaves your fingers. -
13
NSFWJS
Client-side indecent content checking powered by TensorFlow.js
NSFWJS is a simple JavaScript library that can quickly and quite accurately identify NSFW images, all in the client's browser. It is powered by TensorFlow.js and the NSFW detection model, and delivers around 90% accuracy that is improving each time. NSFWJS classifies images with percentages under five categories, namely: drawing and neutral, which are both safe for work; sexy, which includes sexually explicit images; and hentai and porn, which are pornographic drawings and images.... -
14
Unla
Gateway service that instantly transforms existing MCP Servers
Unla is a lightweight, highly available MCP gateway written in Go that turns existing MCP servers or ordinary HTTP APIs into MCP-compliant services through configuration, not code changes. Its goal is to let teams “wire up” tools they already run—internal REST endpoints, third-party APIs, or local MCP servers—and present a single, reliable MCP interface to clients like Claude Desktop, Cursor, and IDEs. The gateway focuses on operational concerns you’d expect in production: multi-instance... -
15
GameNetworkingSockets
Reliable & unreliable messages over UDP
...The details for shared key derivation and per-packet IV are based on the design used by Google's QUIC protocol. This library has shipped on consoles, mobile platforms, and non-Steam stores, and has been used to facilitate cross-platform connectivity. Contact us to get access to the code. -
16
KServe
Standardized Serverless ML Inference Platform on Kubernetes
KServe provides a Kubernetes Custom Resource Definition for serving machine learning (ML) models on arbitrary frameworks. It aims to solve production model serving use cases by providing performant, high abstraction interfaces for common ML frameworks like Tensorflow, XGBoost, ScikitLearn, PyTorch, and ONNX. It encapsulates the complexity of autoscaling, networking, health checking, and server configuration to bring cutting edge serving features like GPU Autoscaling, Scale to Zero, and Canary Rollouts to your ML deployments. ... -
17
LazyCodex
The one and only agent harness for complex codebases
LazyCodex is an agent harness for using Codex on complex software projects. It is designed to add structure around AI coding sessions through memory, planning, execution, verification, skills, hooks, routing, and diagnostics. The project helps developers move beyond one-off prompts by giving the agent a more organized workflow inside a codebase. It supports project memory so context can persist across sessions and decisions do not need to be repeatedly reintroduced. LazyCodex also emphasizes... -
18
QFramework
Unity3D System Design Architecture
...The ISystem interface helps IController undertake part of the logic, logic shared in multiple presentation layers, such as timing system, mall system, achievement system, etc. Data layer: Model layer. The IModel interface is responsible for the definition of data and the provision of methods for adding, deleting, checking and modifying data. -
19
Prompt Declaration Language
Prompt Declaration Language is a declarative prompt programming lang
LLMs will continue to change the way we build software systems. They are not only useful as coding assistants, providing snipets of code, explanations, and code transformations, but they can also help replace components that could only previously be achieved with rule-based systems. Whether LLMs are used as coding assistants or software components, reliability remains an important concern. LLMs have a textual interface and the structure of useful prompts is not captured formally. Programming... -
20
Gorse Recommender System Engine
An open source recommender system service written in Go
...Provide GUI for data management, system monitoring, and cluster status checking. Gorse is an open-source recommendation system written in Go. Gorse aims to be a universal open-source recommender system that can be easily introduced into a wide variety of online services. By importing items, users and interaction data into Gorse, the system will automatically train models to generate recommendations for each user. -
21
Human Writing
Make the Chinese written by AI read like a specific person speaking
Human Writing is an AI writing skill designed to make Chinese prose sound like it was written by a specific person rather than a generic language model. Before drafting, it checks whether enough factual or fictional material exists to support meaningful writing. For nonfiction, it emphasizes verified facts, numbers, quotations, and lived details, while fiction must still contain purposeful actions and causal progression. Each paragraph is expected to add new information instead of repeating... -
22
Little cms color engine
An ICC-based CMM for color management
Little cms is a color management library. Implements fast transforms between ICC profiles. It is focused on speed, and is portable across several platforms (MIT license) -
23
The Retribution Engine is designed for first person shooter games on Windows PCs using OpenGL and OpenAL. It is supplied with a range of games and levels and includes fully featured level and model editors. On Linux the game and tools work fine using wine/bottles and the game can also be imported into Steam client and runs on proton experimental.
-
24
NOTE: The GROOVE codebase has moved to https://github.com/nl-utwente-groove
-
25
ZelixOS is an Arch-based Linux distribution designed for users who seek the raw power and cutting-edge software of Arch Linux, combined with a polished, user-friendly interface and modern system tools. Developed with a focus on gaming, development, and high-performance computing, ZelixOS 0.5 "Aurora" transitions the project into a full rolling-release model. ### Key Features: * **Zelix Installer (GUI):** A custom Python/PyQt6 graphical wizard that makes installing Arch Linux safe, fast, and visual. * **Zelix Hello:** A post-installation dashboard to help you optimize mirrors, update your system, and explore essential apps. * **Gaming Optimized:** Pre-configured with the latest Mesa drivers, Steam support, and performance tweaks out-of-the-box...
