This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

Neuro-Symbolic AI Toolkit

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Modular compact automated filament changer for klipper 3d printers

Cross-platform Text Expander written in Rust

🌊 Lightweight and open way to manage your Stream Deck device.

3D Space Mouse DIY easy to build at home

Dashboards and notebooks in a single place. Create powerful and flexible dashboards using code, or build beautiful Notion-like notebooks and share them with your team.

A 6 degrees of freedom mouse for CAD programs using cheap linear hall effect sensors for position measurement

An Open-source Framework for Human Understanding, Meaning, and Progress.

Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

A free and open-source alternative to StreamDeck

The Memory layer for AI Agents

[Interspeech 2024] Whisper-Flamingo: Integrating Visual Features into Whisper for Audio-Visual Speech Recognition and Translation

A framework to enable multimodal models to operate a computer.

A self-hosted digital asset manager for 3d print files.

Modified klipper for ender3-v3 se with stock display support.

Python based interface for the Creality Ender 3 V3 SE display running Klipper

A practical hand tracking engine.

Step by step math solutions for everyone

A formal logic framework that runs in the browser

Robust Speech Recognition via Large-Scale Weak Supervision

Use computer with Voice Typing and Joy-Con controller

Letta (formerly MemGPT) is a framework for creating LLM services with memory.

Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux