fraware
Follow
-
universal-recycle Public
Universal Recycle revolutionizes how you manage multi-language projects by providing a unified, extensible platform for code modernization, cross-language interoperability, and enterprise-grade bui…
-
-
sim Public
Forked from simstudioai/simOpen-source platform to build and deploy AI agent workflows.
TypeScript Apache License 2.0 UpdatedNov 13, 2025 -
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
Lean Apache License 2.0 UpdatedNov 6, 2025 -
ratatui Public
Forked from ratatui/ratatuiA Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Rust MIT License UpdatedNov 3, 2025 -
Evaluator Public
Forked from NVIDIA-NeMo/EvaluatorOpen-source library for scalable, reproducible evaluation of AI models and benchmarks.
Python Apache License 2.0 UpdatedNov 3, 2025 -
FlagGems Public
Forked from flagos-ai/FlagGemsFlagGems is an operator library for large language models implemented in the Triton Language.
-
ax-mcp Public
Forked from Axiomatic-AI/ax-mcpAxiomatic_AI MCP Server
-
goose Public
Forked from block/goosean open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
-
flower Public
Forked from adap/flowerFlower: A Friendly Federated AI Framework
-
neuronpedia Public
Forked from hijohnnylin/neuronpediaopen source interpretability platform
-
lean-uprove Public
A Lean 4 tactic for automating proofs involving universal properties in category theory
-
lean-optics Public
Lean Optics provides an implementation of profunctor optics for Lean 4, featuring law-carrying composition, automated proof generation, and production-ready performance guarantees. Built on solid m…
-
-
lean-yo Public
A Lean 4 tactic library that simplifies category theory proofs using (co)Yoneda isomorphisms
-
lean-containers Public
lean-containers is a container library for Lean 4 that provides type-safe, mathematically rigorous implementations of container types and operations.
-
lean-endkan Public
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
-
lean-effects Public
Algebraic Effects via Lawvere Theories & Handlers with Code Generation, Fusion Theorems, and Curated Simp Packs
-
Plonky3 Public
Forked from Plonky3/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedSep 12, 2025 -
parlant Public
Forked from emcie-co/parlantLLM agents built for control. Designed for real-world use. Deployed in minutes.
Python Apache License 2.0 UpdatedSep 8, 2025 -
accountabilitylayer Public
The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.
-
stack-auth Public
Forked from stack-auth/stack-authOpen-source Auth0/Clerk alternative
TypeScript Other UpdatedSep 5, 2025 -
prometheus Public
Forked from prometheus/prometheusThe Prometheus monitoring system and time series database.
Go Apache License 2.0 UpdatedSep 5, 2025 -
terminal-bench Public
Forked from laude-institute/terminal-benchA benchmark for LLMs on complicated tasks in the terminal
-
chaoslabs Public
ChaosLabs is a platform that allows developers and SREs to simulate failures, inject faults, and monitor the behavior of distributed systems in real time.
-
lean-python-bridge Public
Production-ready prototype for formal verification of ML or scientific pipelines using Lean 4and Python.
-
slsa Public
Forked from slsa-framework/slsaSupply-chain Levels for Software Artifacts
Shell Other UpdatedAug 26, 2025 -
flare-ai-kit Public
Forked from flare-foundation/flare-ai-kitSDK for building verifiable AI Agents on Flare using Confidential Space
Python Apache License 2.0 UpdatedAug 24, 2025 -
agents.md Public
Forked from openai/agents.mdAGENTS.md — a simple, open format for guiding coding agents
-
MedAgentBench Public
Forked from stanfordmlgroup/MedAgentBenchMedAgentBench: A Realistic Virtual EHR Environment to Benchmark Medical LLM Agents