Skip to content
View chriscoey's full-sized avatar

Organizations

@JuliaOpt @RelationalAI

Block or report chriscoey

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Mobile client for Codex and Claude — control coding agents from your phone via WebSocket bridge

Dart 1,075 112 Updated Sep 23, 2026

Apache Ossie, industry wide specification effort to standardize how we exchange semantic metadata across analytics, AI and BI platforms, providing a vendor neutral, single source of truth for seman…

Java 82 8 Updated Jul 24, 2026

Apache Ossie, industry wide specification effort to standardize how we exchange semantic metadata across analytics, AI and BI platforms, providing a vendor neutral, single source of truth for seman…

Python 2,207 287 Updated Sep 24, 2026

Julia interface to hexaly

Julia 10 Updated Sep 21, 2026

Test your prompts, agents, and RAGs. Red teaming/pentesting/vulnerability scanning for AI. Compare performance of GPT, Claude, Gemini, DeepSeek, and more. Simple declarative configs with command li…

TypeScript 25,424 2,370 Updated Sep 24, 2026

The most powerful MCP Slack Server with no permission requirements, Apps support, GovSlack, DMs, Group DMs and smart history fetch logic.

Go 1,848 372 Updated Jul 16, 2026

The Bloomberg Terminal for CLI Agents, its Maestro Baby!

TypeScript 1,174 127 Updated Apr 19, 2026

Open-source persistent memory for AI agent pipelines (LangGraph, CrewAI, AutoGen) and Claude. REST API + knowledge graph + autonomous consolidation.

Python 1,963 323 Updated Sep 24, 2026

Linter for the Julia programming language

Julia 52 6 Updated Aug 28, 2026

cuGraph - RAPIDS Graph Analytics Library

Cuda 2,237 369 Updated Sep 21, 2026

a minimal String type for Julia that allows for efficient string representation and transfer

Julia 22 20 Updated Sep 22, 2026

Fixed-width string types for Julia

Julia 49 14 Updated Sep 23, 2026

Test and benchmark repository for Z3.

SMT 27 31 Updated Sep 23, 2026

The Z3 Theorem Prover

C++ 12,711 1,691 Updated Sep 24, 2026

egraphs + datalog!

Rust 847 117 Updated Sep 18, 2026
1 Updated Oct 6, 2023

Interior-point solver in pure Julia

Julia 163 24 Updated Apr 19, 2026

An efficient implementation of the Double Description Method

C 134 38 Updated Apr 23, 2026

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

Julia 55 10 Updated Jun 22, 2026

Minimal-dependency, lazy, performant, flexible, JSON for Julia.

Julia 21 1 Updated Mar 29, 2025

Sparse Parallel Robust Algorithms Library

Fortran 141 29 Updated Aug 14, 2026

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

C 1,553 327 Updated Sep 24, 2026

Tools for solving serialized Rel SolverAPI library models with external solvers.

Julia 2 Updated Mar 21, 2024

A Julia package for solving multi-objective optimization problems

Julia 87 10 Updated Sep 8, 2026
TypeScript 365 17 Updated Oct 29, 2024

Run testitems in parallel.

Julia 47 13 Updated Sep 14, 2026

A collection of problem specifications in Essence.

Python 10 5 Updated Dec 4, 2025

A benchmark library for constraints

Prolog 106 77 Updated Aug 24, 2026

The MiniZinc compiler

MiniZinc 703 99 Updated Sep 24, 2026
Next