Results for green_dot

A powerful TypeScript nodeJs framework for building DX friendly, secure and type-safe backend services with MongoDB integration

A VS Code extension that provides syntax highlight and helpers for green_dot projects

Elegant, opinionated widgets for egui: buttons, inputs, selects, cards, tabs and more. Paired dark/light themes.

The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs

AI-agnostic persistent memory system — MCP server, HTTP API, and CLI for any AI platform

Trainable, modular AI engine in Rust with compile-time knowledge

MCP (Model Context Protocol) server wrapping Arete streams for AI agent integration

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Pathfinding library for calculating all node pairs' shortest paths in an unweighted undirected graph.

A simple daemon that monitors keyboard and mouse activity and reminds you to take breaks

Desktop app for monitoring GitHub Pull Requests and repository health

Ising model simulation on lattices and graphs.

A telegram bot written in rust that will monitor a lighting node over tor. It does this through calling the node's REST API and sending notifications to a telegram private channel with the node administrator

TUI for serving local LLM models. Pick a model, pick a backend, serve it.