Developer Tools●●Solid
Igor – Constraint Programming for Clojure
Shadows Clojure's core operators so constraints look like normal code until you call satisfy.
Big BrainNiche Gem
danefilipczak
813mo ago
Back to browse
GitHub Repository
0 starsC++
Chirp, My constraint-driven metaprogramming language
by Chabsff·Jun 12, 2026·1 point·1 comment
AI Analysis
●●SolidBig BrainWizardry
Set-theoretic constraint system where guarantees are values, not annotations — novel PL approach.
Strengths
- •Constraint system treats guarantees as first-class values instead of type annotations.
- •Unicode operators format to ASCII equivalents, balancing readability and convenience.
- •Motivation docs explain the why behind design choices, not just the how.
Weaknesses
- •Compiler not implemented yet — currently just a scripting language interpreter.
- •Zero stars, zero forks suggests limited community interest or visibility so far.
Category
Target Audience
Programming language researchers, systems programmers interested in PL theory
Similar To
Idris · Agda · TypeScript
Similar Projects
Developer Tools●Mid
I made a "programming language" looking for feedback
Ambitious 'Docker for Logic' pitch, but the demo is just print statements with punctuation.
Bold BetShip It
alonsovm
38382mo ago
Gaming●●Solid
Constrained Chess, Play Stockfish with custom natural-language rules
Natural-language rule parsing beats move constraints into Stockfish's searchmoves.
Big BrainCozy
vigrant
283mo ago
Design●●Solid
Arxel – Constraint-driven 3D building masses in the browser
Constraint solver for building masses beats manual iteration, but Grasshopper and Dynamo already serve this.
Eye CandySolve My ProblemNiche Gem
OzanEnginsal
303mo ago
Developer Tools●●●Banger
AI-assert – Constraint verification for LLM outputs (278 lines, Python)
Lightweight retry loop that improves IFEval instruction-following from 69% to 76% accuracy.
Solve My ProblemShip It
kaantahti
103mo ago
Design●Mid
Q12 – A constraint-based 2D drawing tool
Parametric CAD on web with inequality constraints; GeoGebra and Fusion 360 already own this space.
Big Brain
Evenedric
713mo ago