A constraint solver purely on GPUs (CUDA)

This repository contains the implementation of a MiniZinc backend to solve non-linear models using Particle Swarm Optimization (PSO).

MaxiCP

A query-system-based static site generator

oscar-cbls

fast probabilistic symmetry detection on graphs

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Model Context Protocol (MCP) server for constraint optimization and solving"

🌟 Build beautiful, accessible, high-performance documentation websites with Astro

Manage your macOS using Nix

An arbitrary-precision arithmetic library for Rust.

A no_std + serde compatible message library for Rust

Conjure: The Automated Constraint Modelling Tool

The conventional commits specification

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A modern alternative to ls

Painless compression and decompression in the terminal

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

✨ Making your shell magical

Constraint Based Local Search backend to Minizinc using Oscar-CBLS.

AeroSpace is an i3-like tiling window manager for macOS

An ultra simple CLI arguments parser.

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

A markdown terminal slideshow tool

A monospaced pixel font with a lo-fi, techy vibe

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.