cljfmt checks and fixes Clojure source formatting, with configurable indentation, namespace rewriting and project-wide style checks.
Read more
Category: Programming
Gonzales PE – CSS parser
Gonzales PE is a CSS parser which plays nicely with preprocessors. Currently the following languages are supported: SCSS, Sass, LESS.
Read more
Checker Framework – pluggable type checking for Java
Checker Framework adds pluggable type checking to Java, detecting nullness, initialization, type qualifier and data-flow errors.
Read more
Pragtical – practical and pragmatic code editor
Pragtical is a cross-platform code editor with a modern graphical interface, developed using C and Lua(JIT), powered by SDL
Read more
Infer – static analyzer for Java, C, C++, and Objective-C
Infer is a static analyser for Java, C, C++ and Objective-C, detecting memory errors, null dereferences and concurrency defects.
Read more
NullAway – fast null pointer error detection for Java
NullAway finds potential Java null pointer errors during compilation using nullability annotations and fast Error Prone analysis.
Read more
PMD – extensible cross-language static code analyser
PMD examines Java and other source code for defects, code smells and duplication, using configurable rules and custom checks.
Read more
Clastic – functional web application framework
Clastic is a functional WSGI web framework with explicit routes, dependency injection, renderers and early application validation.
Read more
circuits – event-driven application framework
circuits is an event-driven Python application framework with reusable components, asynchronous I/O, networking and HTTP server support.
Read more
CodeContexter – simple codebase serializer for LLM Context Windows
CodeContexter is a safety-first CLI tool that aggregates your entire codebase into a single, structured file (Markdown, JSON, or XML).
Read more
cljstyle – tool for formatting Clojure code
cljstyle reformats Clojure source using configurable rules, with check, fix and pipe commands, namespace cleanup and diff output.
Read more
Pd-L2Ork – fork of Pure Data
Pd-L2Ork is a fork of Pure Data. a visual programming language. That means you can use it to create software graphically by drawing diagrams.
Read more
YAPF – Python formatter based on clang-format
YAPF reformats Python source using configurable style rules, selective line formatting, custom profiles, and project settings.
Read more
JBang – write and run Java scripts
JBang makes it easy to write and run Java scripts without traditional project setup.
Read more
Lobster – statically typed programming language
Lobster is a statically typed programming language with a Python-esque syntax
Read more
ty – Python type checker
ty is an extremely fast Python type checker and language server, written in Rust.
Read more
Joker – small Clojure interpreter, linter and formatter
Joker is a lightweight Clojure interpreter, linter and formatter supporting scripting, source checks, code formatting and a REPL.
Read more
blue – Python code formatter
blue is a somewhat less uncompromising code formatter than black, the OG of Python formatters.
Read more
Yagni – Leiningen plugin for finding dead code
Yagni is a static code analyzer that helps you find unused code in your applications and libraries.
Read more
SpotBugs – static analysis tool for finding Java bugs
SpotBugs detects potential bugs in compiled Java code, including null dereferences, bad API usage and concurrency problems.
Read more