bolna-ai / bolna

Conversational voice AI agents

lhndo / LH-Stinger

Fast, Precise, Cartesian, FDM 3D Printer

cartesiancs / cartcut

Video Editor for AI agents, built on the belief that open source can beat commercial tools

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

SPECFEM / specfem3d

SPECFEM3D Cartesian simulates acoustic (fluid), elastic (solid), coupled acoustic/elastic, or poroelastic seismic wave propagation in any type of conforming mesh of hexahedra (structured & unstructured).

allmodels-io / hermes-speech

Hermes Agent TTS and STT plugin for AllModels speech models and voices.

vuglll / EFDoctor

Local-first static analysis for EF Core: finds performance and correctness problems (SaveChanges in loops, unbounded queries, cartesian Includes, sync-over-async, unsafe raw SQL) with evidence and remediation.