bdemsky Goto Github PK

agentgraph

AgentGraph is a library for writing AI applications that invoke LLMs. It provides parallel execution, a query generation language, and memoization.

agentgraph-apps

Example applications for AgentGraph.

c11tester

C11Tester Framework for Testing C++11 Atomics

c11tester-benchmarks

c11tester-llvm

LLVM frontend for C11Tester

cdschecker

CDSChecker Model Checker for C++11 Atomics

cdschecker-benchmarks

Benchmarks for CDSChecker

irc

Irvine Research Compiler

pmcheck

Persistent Memory Model Checker

pmcheck-benchmarks

pmcheck-llvm

LLVM frontend for PMCheck

pmdk

Persistent Memory Development Kit

satcheck

SAT based model checker for concurrency

satlib

Wrappers around SAT checkers to use binary communication. Used by SATCheck and SATune.

satune

Tool for generating optimized SAT encodings of constraints

satune-benchmarks

Benchmarks for Satune