Claude Code is an agentic coding tool that lives in your terminal
An implementation of the Microsoft Language Server Protocol
Lean 4 programming language and theorem prover
Industrial-strength Natural Language Processing (NLP)
Verible is a suite of SystemVerilog developer tools
The most widely used Python to C compiler
Fork of the python-language-server project
A Moonscript dialect compiles to Lua
Run Local LLMs on Any Device. Open-source
Automagically synchronize subtitles with video
An LLM-powered knowledge curation system that researches topics
Large Language Model Text Generation Inference
ArkScript is a small, fast, functional and scripting language for C++
CNCF Sandbox Project
LSP-AI is an open-source language server
157 models, 30 providers, one command to find what runs on hardware
Access large language models from the command-line
From Vibe Coding to Agentic Engineering
Project aimed at extracting, exporting, and analyzing chat records
TextWorld is a sandbox learning environment for the training
Open Source Immersive Translate
Fast, small, safe, gradually typed embeddable scripting language
Fast, flexible and powerful Python data analysis toolkit
Free, open-source text editor
LLM Frontend for Power Users