A flycheck plugin.
☆22Nov 11, 2018Updated 7 years ago
Alternatives and similar repositories for coala-emacs
Users that are interested in coala-emacs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- coala Landing Page - https://gitlab.com/coala/landing is needed as backend☆33Jan 15, 2019Updated 7 years ago
- coala base docker image☆21May 27, 2018Updated 7 years ago
- The official documentation for coala☆40Jul 2, 2021Updated 4 years ago
- Interactive website generator using results from coala☆16Dec 20, 2019Updated 6 years ago
- A python package to analyze files and provide useful metadata☆15Apr 24, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A website showing Google Code-in information 🏆☆39Dec 7, 2022Updated 3 years ago
- Vim plugin for coala☆29Jun 5, 2018Updated 7 years ago
- Network communication library based on greenlets, with zeromq and redis support☆43Feb 10, 2014Updated 12 years ago
- Generic re-usable community site☆19May 14, 2021Updated 4 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆17Oct 29, 2019Updated 6 years ago
- A coala integration plugin for Atom☆20Jul 19, 2018Updated 7 years ago
- Production grade Kubernetes controller for managing AWS Services using CRDs☆16Apr 8, 2020Updated 5 years ago
- [WIP] Open Source WakaTime Server☆14Feb 4, 2019Updated 7 years ago
- LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports☆12Mar 14, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Builders for attrs☆11Jul 31, 2019Updated 6 years ago
- Random TCP Port Reserver☆10Apr 1, 2024Updated last year
- Things and stuff for times, dates and datetimes. Maybe they're useful☆14Aug 1, 2018Updated 7 years ago
- Pause Gnome Night Light for 10 seconds☆10Apr 30, 2021Updated 4 years ago
- Ruby object, which you can pass to other objects, where they will use it as a logger☆12Updated this week
- Ukrainian dictionary in your terminal☆15Jul 6, 2024Updated last year
- Experimental implementation of Conway's Game of Life in C++ and EO☆14Updated this week
- Downloads an XKCD comic☆18Feb 2, 2022Updated 4 years ago
- Open source fix testing framework for Java (was fix4j-test)☆13Sep 27, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- EO Objects for Manipulating with Lists, Maps, Sets, Stacks, Vectors, etc.☆12Aug 7, 2024Updated last year
- A simple Ruby decorator to make all methods of your object thread-safe☆11Mar 23, 2026Updated last week
- Bears for coala☆295Oct 18, 2022Updated 3 years ago
- ArduPy Integrated Platform is a utility to develop ArduPy and interact witch ArduPy board. It enables users to quickly get started with …☆13Jan 24, 2022Updated 4 years ago
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicely☆30Updated this week
- 🌌 File metadata viewer - Build with Electron☆14Aug 20, 2019Updated 6 years ago
- Online interactive parser and translator of EO and 𝜑-calculus☆14Sep 2, 2025Updated 6 months ago
- Book about EO programming language☆14Sep 2, 2025Updated 6 months ago
- HLS解码器，可参考demo的实现，用于原生Video或您的H5播放器。☆18Nov 7, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- All Examples for learning Python programming☆12Sep 5, 2021Updated 4 years ago
- Find locally installed executables by npm, composer, gem, pip, stack, ...☆12May 23, 2022Updated 3 years ago
- Ruby Veil Objects: they cache all reads until the first write☆14Updated this week
- Unofficial Live 9.5 API documentation generated by the "API_MakeDoc" MIDI Remote Script.☆10Nov 6, 2015Updated 10 years ago
- Shall your HTTP API pass?☆13May 13, 2019Updated 6 years ago
- Maven2 Java Formatter Plugin - Exported from code.google.com/p/maven-java-formatter-plugin☆10Nov 24, 2018Updated 7 years ago
- Login/logout via GitHub OAuth for your Ruby web app☆13Updated this week