Alternatives and similar repositories for awesome-baml

Users that are interested in awesome-baml are comparing it to the libraries listed below

• SamuelSchlesinger / generalist
  A generalist AI agent backed by Claude
  ☆23Updated 6 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 5 months ago
• IDNI / tau-lang
  ☆83Updated last week
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 7 months ago
• fuzz / clod
  Efficiently manage Claude AI projects--save half off your API bill with this one weird trick
  ☆37Updated 7 months ago
• ammmir / sandboxer
  Forkable code execution server for LLMs, agents, and devs
  ☆12Updated 7 months ago
• sdiehl / usolver
  A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
  ☆62Updated 6 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• neurallambda / automata
  generate synthetic data for training finite state machines/pushdown automata/turing machines
  ☆17Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆20Updated 2 years ago
• zby / LLMEasyTools
  Tools for LLM agents.
  ☆61Updated last year
• cachix / gptcomment
  ☆16Updated last year
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated 2 years ago
• angrysky56 / mcp-logic
  Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…
  ☆37Updated 2 weeks ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆47Updated 6 months ago
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆80Updated 6 months ago
• hwayne / gpt-tricks
  A collection of useful uses of GPT (and other LLMs), organized as examples
  ☆16Updated 2 years ago
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆135Updated this week
• westoncb / latent-langs
  ☆26Updated last year
• BoundaryML / baml-examples
  ☆126Updated last week
• kuzudb / kuzu-mcp-server
  A Model Context Protocol server that provides access to Kuzu databases
  ☆38Updated 2 months ago
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆98Updated last year
• dottxt-ai / benchmarks
  Benchmark structured generation libraries
  ☆30Updated last year
• willkurt / evenflow
  Framework for Self-Organizing Python Agents
  ☆29Updated last year
• simonw / llm-embed-onnx
  Run embedding models using ONNX
  ☆35Updated last year
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆26Updated 2 months ago
• kargarisaac / Hekmatica
  An agent implemented using BAML and LangGraph to do a deep research on questions and generate cited answers.
  ☆20Updated 7 months ago
• szeider / mcp-solver
  Model Context Protocol (MCP) server for constraint optimization and solving"
  ☆145Updated 3 months ago
• AbhijitKumarJ / Experimental_Aider_Extensions
  Experiments on Aider Extensions
  ☆13Updated 10 months ago