Skip to content
View bsommers's full-sized avatar
:atom:
managing a herd of AI Agents
:atom:
managing a herd of AI Agents
5 followers · 12 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Pair Extraordinaire

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Pair Extraordinaire

Block or report bsommers

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. OntoLogic OntoLogic Public

    OntoLogic First Order Logic (FOL) ontology language and system for creating BFOs and Domain Ontologies

    Haskell

  2. bil bil Public

    Bounded Invariant Logic (bil): specify, check and prove programs and state machines. Guarded commands, ontologies, LTL model checking, SMT proofs (z3/cvc5), Verus and native compilation. Apache-2.0.

    Rust

  3. bilterm bilterm Public

    IBM 3270 Mainframe × DOS Borland Turbo Vision × TRON MCP composite-pane TUI multiplexer, native desktop GUI terminal (--gui), SSH/tmux fleet manager, and AI-automatable terminal emulator in Rust + …

    Rust 1 1

  4. PostOffice PostOffice Public

    PostOffice - Multi-protocol messaging system using MQTT, AMQP, Kafka and other messaging systems

    Python

  5. lumagrid lumagrid Public

    Layered React + TypeScript UI library for data visualization widgets

    TypeScript

  6. input-knob input-knob Public

    USB + Bluetooth volume/scroll/macro knob firmware for the Elecrow CrowPanel 1.28" ESP32-S3 rotary display (Arduino + LVGL)

    C++