Reasoning with Language Model is Planning with World Model
RAP: Reasoning via Planning with World Models
Calorie Tracker AI
New AI ToolsCalorie Tracker AI uses artificial intelligence to help users log meals, analyze nutrition, and stay on track with health goals—all in real time.
Linking and Loading
Reference on linking and loading
Kita
Document ManagementUnderwrite borrowers anywhere in the world in minutes
Twon
New AI ToolsAI Motion Design Platform - Describe motion, Get video
Stackify
New AI ToolsMonitor, debug, and leverage customizable reports for websites, web apps, and APIs with real-time error tracking tools.
SymbolicAI
A neuro-symbolic framework for building applications with LLMs at the core.
Linux command line build system to generate binaries for TM4C123 (ARM Cortex M4)
Preemptive scheduler and build environment for TM4C123GH6PM (ARM Cortex-M4)
Assembly programming
Keyboard AI
Workflow ProductivityEnhance your typing experience with KeyboardAI. Get context-aware suggestions, customizable tones, and seamless integration across all your favorite apps.
Redmine
New AI ToolsTrack tasks, receive notifications, and analyze data with powerful reporting tools and customizable dashboards.
TeraTerm - TTL command reference
TTL command reference for Tera Term
twittmad.com
New AI ToolsAll-in-one social tool and bio link directory
Type AI - The AI Keyboard
New AI ToolsWrite with AI in any app.
Zenaton
New AI ToolsAutomate tasks, schedule with ease, integrate with other systems, all in one platform.
Alexaudio Butler
Audio EditingEnhance your audio with Alexaudio Butler. AI-powered noise removal, volume leveling, and audio cleanup made easy for creators and podcasters.
areweai/tsgram-mcp
TSgram: Telegram + Claude with local workspace access on your phone in typescript. Read, write, and vibe code on the go!
TypeGPT
New AI ToolsBuild coding projects, automate SQL queries, and save money on translations with its customizable and cost-effective AI solution.
An esp8266 rom creation tool
ESP8266 ROM creation tool
Bare-metal examples
Progressive bare-metal programming tutorials for Raspberry Pi
automotive software(OSEK & AUTOSAR)
Because I am not powerful so I decided to develop tiny but smart part of automotive software based on open source, and create a general AUTOSAR & Automotive Software study environment.
Kolena Restructured
AI AgentsTurns document workflows into automated operations.
List of open source real-time operating systems
Open source RTOS list.
UberMind
New AI ToolsUncover insights, optimize customer engagement, and drive innovation with its machine learning engine and suite of tools.