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.

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

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 81 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 1,834 229 Updated Aug 11, 2026

Julia interface to hexaly

Julia 10 Updated Aug 7, 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 24,188 2,181 Updated Aug 13, 2026

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

Go 1,781 353 Updated Jul 16, 2026

The Bloomberg Terminal for CLI Agents, its Maestro Baby!

TypeScript 1,166 126 Updated Apr 19, 2026

Linter for the Julia programming language

Julia 51 5 Updated Aug 12, 2026

cuGraph - RAPIDS Graph Analytics Library

Cuda 2,217 364 Updated Aug 12, 2026

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

Julia 22 19 Updated Apr 23, 2026

Fixed-width string types for Julia

Julia 49 14 Updated Aug 5, 2026

Test and benchmark repository for Z3.

SMT 27 31 Updated Jul 29, 2026

The Z3 Theorem Prover

C++ 12,550 1,685 Updated Aug 13, 2026

egraphs + datalog!

Rust 813 112 Updated Aug 11, 2026
1 Updated Oct 6, 2023

Interior-point solver in pure Julia

Julia 164 24 Updated Apr 19, 2026

An efficient implementation of the Double Description Method

C 137 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 Jul 27, 2026

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

C 1,536 322 Updated Aug 12, 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 Jul 7, 2026
TypeScript 366 17 Updated Oct 29, 2024

Run testitems in parallel.

Julia 46 13 Updated Jul 17, 2026

A collection of problem specifications in Essence.

Python 10 5 Updated Dec 4, 2025

A benchmark library for constraints

Prolog 105 77 Updated Mar 30, 2026

The MiniZinc compiler

MiniZinc 695 99 Updated Aug 13, 2026
Julia 223 58 Updated Oct 10, 2025

JSON parsing and printing

Julia 356 111 Updated Aug 11, 2026
Next