Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

General purpose Nix configuration for macOS / NixOS with starter templates, step-by-step guides, and more ✨

The fastest hashing algorithm 📈

A Python Library for modeling combinatorial constrained problems

Constraint programming solver

A modern resume template written in Typst, inspired by Awesome-CV

A curated list of awesome OR-Tools community resources.

Clone trait that is object-safe

High performance self-hosted photo and video management solution.

A compile-time pattern matching library that reverses the interpolation process of `format!`.

🦀 Soothing pastel theme for Zed

Proof checking for constraint programming solvers

Small command-line program for OS X that moves files or folders to the trash.

Publish Rust crates from CI with a Release PR.

Exron Rostering

Nix Packages collection & NixOS

Manage a user environment using Nix [maintainer=@rycee]

Typed distributed plugin registration

A pathfinding library for Rust

💼 another CV template for your job application, yet powered by Typst and more

A Git-compatible VCS that is both simple and powerful

A Scalable, User-Friendly Source Control System.

Glossarium is a simple typst glossary.

IPASIR 2 Specification and Discussion

CaDiCaL SAT Solver

💨 Soothing pastel theme for Tailwind CSS