Forem

Tooling

Working with a new tool you want to share? Created a new workflow for a task? Found some great configurations? Share them with the community!

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Implementing Token Count Optimization in repo-contextr
dharam_ghevariya_0d946c37 profile

Implementing Token Count Optimization in repo-contextr

#openai #tooling #opensource #llm
Comments
3 min read
📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software
Cover image for 📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software
viz-x profile

📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

#algorithms #computerscience #tooling
Comments 1
2 min read
🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers
Cover image for 🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers
viz-x profile

🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers

#iot #programming #tooling
2
Comments
2 min read
Turn your code into a visual, editable wiki. 100% open source
Cover image for Turn your code into a visual, editable wiki. 100% open source
rubendavia profile

Turn your code into a visual, editable wiki. 100% open source

#showdev #opensource #tooling #discuss
1
Comments
1 min read
Presento GozoLite — un Code Executor modular que ejecuta 29 lenguajes reales, hecho por TotyLabs
darkbyte01 profile

Presento GozoLite — un Code Executor modular que ejecuta 29 lenguajes reales, hecho por TotyLabs

#showdev #docker #tooling #opensource
Comments
1 min read
🌊 Week 3 — Pure Cascade now measures your CSS quality
__23aca6dca profile

🌊 Week 3 — Pure Cascade now measures your CSS quality

#showdev #frontend #tooling #css
Comments
1 min read
Stop Waiting for the Cloud: Building a Hybrid SQL+Python Data Pipeline Locally with DuckDB
Cover image for Stop Waiting for the Cloud: Building a Hybrid SQL+Python Data Pipeline Locally with DuckDB
markolekic profile

Stop Waiting for the Cloud: Building a Hybrid SQL+Python Data Pipeline Locally with DuckDB

#python #sql #dataengineering #tooling
Comments
5 min read
ELK Stack for Developers: Simplifying Logging in Development
xgare_technologies profile

ELK Stack for Developers: Simplifying Logging in Development

#devops #monitoring #tooling
2
Comments
2 min read
Free tool to remove watermarks from AI images, 100% private
jawuilp profile

Free tool to remove watermarks from AI images, 100% private

#ai #nanobanana #tooling #imagen
Comments
1 min read
A Day With Perplexity’s Comet AI Browser: Time-Saver or Hype?
aiwithapex profile

A Day With Perplexity’s Comet AI Browser: Time-Saver or Hype?

#ai #productivity #tooling
1
Comments
1 min read
Introducing Free RAG for Claude Code — Save Tokens & Time
owada_tomohiro_28ec22f5ee profile

Introducing Free RAG for Claude Code — Save Tokens & Time

#tooling #llm #opensource #productivity
Comments
3 min read
🌊 Week 2 — Pure Cascade now actually analyzes your CSS
__23aca6dca profile

🌊 Week 2 — Pure Cascade now actually analyzes your CSS

#showdev #tooling #javascript #css
Comments
1 min read
Introducing the DevCycle MCP Server: Ship Flags Faster, Safely with AI Coding Agents
Cover image for Introducing the DevCycle MCP Server: Ship Flags Faster, Safely with AI Coding Agents
devcycle profile

Introducing the DevCycle MCP Server: Ship Flags Faster, Safely with AI Coding Agents

#tooling #automation #ai #productivity
Comments
6 min read
Behind the Scenes — Building NexoDrive and Reinventing File Sharing
Cover image for Behind the Scenes — Building NexoDrive and Reinventing File Sharing
nishikantaray profile

Behind the Scenes — Building NexoDrive and Reinventing File Sharing

#showdev #google #productivity #tooling
Comments
2 min read
What are the most essential engineering tools every mechanical engineer should have in 2025?
robertgchase profile

What are the most essential engineering tools every mechanical engineer should have in 2025?

#discuss #tooling #career #productivity
Comments 1
1 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.