Open-source code agent designed for Lean 4
Large language model developed and released by NVIDIA
An advanced web-based tool for checking JavaScript code using ESLint.
Advanced Full Text Search + AI Assistant + Local Server for LLMs
Change values under varibles with use of genetic algorithms.
Draw your telegram bot in draw.io and generate its code
creatin ocr tool for eclipse
3A-TRE evaluates traditionally logical expressions under 3 assumptions
Bulk delete your ChatGPT conversations easily with this Chrome extensi
JetBrains’ 4B parameter code model for completions
A low code unified framework for computer vision and deep learning
A light weight chatbot by ultrazoid_