Stars
Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli
The Belfry OpenScad Library, v2.0. An OpenSCAD library of shapes, masks, and manipulators to make working with OpenSCAD easier. BETA
From Zero to QED: An informal introduction to formality with Lean 4
A beautiful home server OS for self-hosting with an app store. Buy a pre-built Umbrel Home with umbrelOS, or install on a Raspberry Pi or any x86 system.
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!
🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.
Deepagents is an agent harness built on langchain and langgraph. Deep agents are equipped with a planning tool, a filesystem backend, and the ability to spawn subagents - making them well-equipped …
High-Performance Scientific Modeling with Julia and SciML
Safety-critical controllers for single/multi robotic navigation: CBF-QP, MPC-CBF, and etc.
A library for making RepE control vectors
Representation Engineering: A Top-Down Approach to AI Transparency
A GitHub Action invoking the Gemini CLI.
💫 Toolkit to help you get started with Spec-Driven Development
SCuBA Secure Configuration Baselines and assessment tool for Google Workspace
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
A collection of sample agents built with Agent Development Kit (ADK)
Academic website based on Myriad-Dreamin/tylant
Extract metadata from typst documents for preprocessing
Package for compiling and bundling julia binaries, specially trimmed ones
JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)
An textbook about Ordinary Differential Equations targeted towards an active-learning class
A Typst suite of customizable environments for notetaking and homework assignments, designed for students in math, CS and physics.