Starred repositories
Semantic Search & Call Graphs for AI Agents (100% Local)
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
The Grafana Faro Web SDK, part of the Grafana Faro project, is a highly configurable web SDK for real user monitoring (RUM) that instruments browser frontend applications to capture observability s…
jutraim / niri-caelestia-shell
Forked from caelestia-dots/shellA very segsy desktop shell ported to niri wm.
Besom - a Pulumi SDK for Scala. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, to ward off evil spirits, and cleansing of ritual spaces.
Speech-to-Text interface for Emacs using OpenAI's whisper model and whisper.cpp as inference engine.
Node.js/TypeScript MCP server for Atlassian Bitbucket. Enables AI systems (LLMs) to interact with workspaces, repositories, and pull requests via tools (list, get, comment, search). Connects AI dir…
Scala library for boilerplate-free, type-safe data transformations
Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔
Artifacts and scripts created by Guild operators
A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning p…
Customizable Typescript SDK for interacting with Cardano DEXs
A friendly programming language from the future
A schema-aware Scala library for data transformation
Quine • a streaming graph • https://quine.io • Discord: https://discord.gg/GMhd8TE4MR
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)