cLogos is an implementation of the Berkeley Logo language written in Common Lisp, designed to be a faithful and living environment for computational thinking. It aims to bridge textual symbolic reasoning with spatial turtle geometry by treating them as coexisting modes of thought rather than distinct stages. The project prioritizes structural honesty, pedagogical transparency, and deep inspectability within the host programming language's environment.
- Maintains compatibility with canonical Berkeley Logo specifications
- Bridges procedural/temporal logic with algebraic/relational structures
- Emphasizes high levels of inspectability from Common Lisp
- Uses ASDF for explicit dependency management and structural honesty
- Maintains compatibility with canonical Berkeley Logo specifications
- Bridges procedural/temporal logic with algebraic/relational structures
- Emphasizes high levels of inspectability from Common Lisp
- Uses ASDF for explicit dependency management and structural honesty
gSMILE is a model-agnostic framework designed to provide interpretability for large language models by explaining how specific parts of a prompt influence the generated output. The system functions by making minor variations to input prompts and measuring subsequent changes in responses to identify high-impact words, which are then presented as visual heat maps. This approach aims to demystify black-box systems like GPT, Llama, and Claude for use cases where trust and accountability are essential.
- Model-agnostic interpretability specifically for generative AI solutions.
- Identification of influential tokens through input perturbation.
- Visualization of prompt significance via heat maps.
- Empirical validation using accuracy, consistency, stability, and fidelity metrics.
- Model-agnostic interpretability specifically for generative AI solutions.
- Identification of influential tokens through input perturbation.
- Visualization of prompt significance via heat maps.
- Empirical validation using accuracy, consistency, stability, and fidelity metrics.
This repository contains a collection of Arduino-based emulators for the vintage Busch 2090 Microtronic Computer System, an educational 4-bit computer from Germany produced in the early 1980s. The project provides multiple implementation versions ranging from simple Arduino Uno R3 setups to more advanced "Next Generation" hardware featuring OLED displays and SD card storage. It includes comprehensive documentation on reverse-engineered protocols such as the 2095 Cassette Interface, machine code sound output techniques, and various built-in ROM programs for games like Lunar Lander and Nim.
Open Code Review is an AI-powered CLI tool designed for automated, high-precision code reviews. Originally developed as Alibaba Group's internal assistant, the project uses a hybrid architecture that combines deterministic engineering with LLM agents to provide stable and accurate feedback. Unlike general-purpose agents, it employs smart file bundling and fine-grained rule matching to maintain context and prevent issues like position drift or incomplete coverage on large changesets.
Key features:
- AI-driven line-level review comments
- Hybrid architecture combining hard constraints with dynamic decision-making
- Support for various LLM endpoints including OpenAI and Anthropic
- Seamless integration with CI/CD pipelines and coding agents like Claude Code
- Customizable rule sets for specific project requirements
Key features:
- AI-driven line-level review comments
- Hybrid architecture combining hard constraints with dynamic decision-making
- Support for various LLM endpoints including OpenAI and Anthropic
- Seamless integration with CI/CD pipelines and coding agents like Claude Code
- Customizable rule sets for specific project requirements
A self-hosted, GitHub-compatible API server designed for agents, automation, and developer workflows. It allows existing GitHub clients to work with owned repositories by exposing REST v3, GraphQL v4, OAuth device flow, and Git Smart HTTP while utilizing real bare Git repositories and TiDB/MySQL-compatible storage for metadata.
A directory of specialized scripts and capabilities designed for AI agents within the agent-scripts repository. These skills provide automated workflows across various domains including web browsing, software development processes like code review and debugging, system maintenance, and integrations with platforms such as WhatsApp, Discord, and Sonos.
Main topics include:
Browser automation and web interaction
Developer productivity tools for GitHub and coding workflows
Platform-specific automations for messaging and smart home devices
System utility scripts for macOS and developer environments
Main topics include:
Browser automation and web interaction
Developer productivity tools for GitHub and coding workflows
Platform-specific automations for messaging and smart home devices
System utility scripts for macOS and developer environments
Self-hosting provides a hands-on way to learn modern infrastructure, covering essential skills such as deployment, networking, storage, monitoring, and system reliability.
1. **Awesome Selfhosted**: A curated list of open-source applications across various service categories.
2. **Coolify**: An open-source PaaS for deploying apps, databases, and services on your own servers.
3. **n8n**: A visual workflow automation platform for connecting APIs and services.
4. **Uptime Kuma**: A monitoring system for tracking service uptime, status dashboards, and alerts.
5. **Nextcloud Server**: A private cloud platform for file synchronization, storage, and collaboration.
6. **Immich**: A self-hosted photo and video management and backup platform.
7. **Memos**: A lightweight Markdown note-taking tool with a timeline interface.
8. **Proxmox VE Helper Scripts**: Community scripts for managing LXC containers and VMs on Proxmox VE.
9. **Awesome Tunneling**: A curated list of tools for secure remote access to local services via tunneling.
10. **Self-Hosting Guide**: A comprehensive reference guide covering hardware, software, and infrastructure concepts.
1. **Awesome Selfhosted**: A curated list of open-source applications across various service categories.
2. **Coolify**: An open-source PaaS for deploying apps, databases, and services on your own servers.
3. **n8n**: A visual workflow automation platform for connecting APIs and services.
4. **Uptime Kuma**: A monitoring system for tracking service uptime, status dashboards, and alerts.
5. **Nextcloud Server**: A private cloud platform for file synchronization, storage, and collaboration.
6. **Immich**: A self-hosted photo and video management and backup platform.
7. **Memos**: A lightweight Markdown note-taking tool with a timeline interface.
8. **Proxmox VE Helper Scripts**: Community scripts for managing LXC containers and VMs on Proxmox VE.
9. **Awesome Tunneling**: A curated list of tools for secure remote access to local services via tunneling.
10. **Self-Hosting Guide**: A comprehensive reference guide covering hardware, software, and infrastructure concepts.
This repository provides an implementation and recreation of the first published version of the Logic Theory Machine, also known as the Logic Theorist. Originally developed by Allen Newell, J. C. Shaw, and Herbert A. Simon in 1956, this program was designed to prove theorems in propositional logic using principles from Principia Mathematica. The project includes a Python-based interpreter for the IPL-I abstract machine language, tools to run the program against historical axioms and theorems, and utilities to analyze generated proofs.
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Needle is an experimental 26m parameter Simple Attention Network distilled from Gemini 3.1, designed to redefine tiny AI for consumer devices like phones, watches, and glasses. It specializes in single-shot function calling, outperforming larger models such as FunctionGemma-270m and Qwen-0.6B in that specific domain. The project provides fully open weights, dataset generation methods, and tools for local finetuning on consumer hardware.
* 26m parameter architecture optimized for extremely small devices.
* High performance prefill and decode speeds when running on Cactus.
* Pretrained on 200B tokens and post-trained for function calling.
* Support for local finetuning via a web UI playground or CLI.
* 26m parameter architecture optimized for extremely small devices.
* High performance prefill and decode speeds when running on Cactus.
* Pretrained on 200B tokens and post-trained for function calling.
* Support for local finetuning via a web UI playground or CLI.
kata is a local-first issue tracking system designed to provide a structured environment for both humans and coding agents to record tasks, decisions, links, and state changes. Unlike traditional methods that clutter git history or chat transcripts, kata uses a local SQLite database managed by a daemon to maintain a durable task ledger. It features an agent-optimized CLI with stable commands and JSON output for automation, complemented by a terminal user interface (TUI) that allows humans to easily browse, triage, and supervise agent activity.
Key aspects:
- Local-first architecture using SQLite and a background daemon
- Agent ergonomics via predictable exit codes and idempotency keys
- Human oversight through an interactive TUI
- Auditability with append-only event history and actor attribution
- Lightweight design focused on task ledger functionality rather than full project management
Key aspects:
- Local-first architecture using SQLite and a background daemon
- Agent ergonomics via predictable exit codes and idempotency keys
- Human oversight through an interactive TUI
- Auditability with append-only event history and actor attribution
- Lightweight design focused on task ledger functionality rather than full project management
