Open-source code agent designed for Lean 4
An advanced web-based tool for checking JavaScript code using ESLint.
A light weight chatbot by ultrazoid_
A low code unified framework for computer vision and deep learning
JetBrains’ 4B parameter code model for completions
Ztooly is a comprehensive collection of 50+ free online tools designed
MCP (Model Context Protocol) server for integrating PostProxy API
Mirror of Green Tara's OO jDREW fork on Bitbucket
OmniDJ base project repository
This is the entire source code for NewsNotFound's article gen process
Advanced Full Text Search + AI Assistant + Local Server for LLMs
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
Grand Unified Regularized Least Squares
Automated Linguistic Analysis, with both monolith and cluster versions