Lists (7)
Stars
💪🏻 Blazing-fast system monitoring for your desktop (built with Rust, Tauri & Svelte)
A Rust implementation of the Starlark language
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
A small Typst package for quick and easy in-document word counts.
A compiler and scenario generator for the Scenic scenario description language.
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
🎭 A CLI task runner defined by a simple markdown file
AI's query engine - Platform for building AI that can answer questions over large scale federated data. - The only MCP Server you'll ever need
Prompts for our Grok chat assistant and the `@grok` bot on X.
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
An extremely fast Python type checker and language server, written in Rust.
⚡ A Fast, Extensible Progress Bar for Python and CLI
Standards first web framework taking HTML, CSS, JS, and WASM to their peak
A little fail-safe filesystem designed for microcontrollers
A pytest plugin that allows multiple failures per test.
Python library to easily create and manipulate MOCs (Multi-Order Coverage maps)
Probably the fastest Python package to convert longitude/latitude to timezone name.
A vscode extension to add markdown table features.
The library for web and native user interfaces.