The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors
Read more
Category: Programming
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 analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read more
NullAway – eliminate NPEs in Java code
NullAway is a tool that offers fast annotation-based null checking for Java.
Read more
PMD – extensible cross-language static code analyzer
PMD is an extensible multilanguage static code analyzer. It finds common programming flaws like unused variables, empty catch blocks
Read more
17 Best Free and Open Source Python Microframeworks
This article examines the best Python microframeworks. Micro means the framework is small, with little or no tools and libraries.
Read more
Clastic – functional web framework
Clastic is a functional Python web framework that streamlines explicit development practices while eliminating global state.
Read more
circuits – lightweight event driven application framework
circuits is a Lightweight Event driven and Asynchronous Application Framework for the Python programming language.
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 is a tool for formatting Clojure code. The cljstyle tool supports several different commands for checking source files.
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
The ultimate goal is that the code YAPF produces is as good as the code that a programmer would write if they were following the style guide.
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 small Clojure interpreter, linter and formatter written in Go.
Read more
blue – Python code formatter
blue is a somewhat less uncompromising code formatter than black, the OG of Python formatters.
Read more
8 Best Free and Open Source Git Hooks Managers
Git Hooks are a built-in feature of Git that allow developers to automate tasks and enforce policies throughout the Git workflow.
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 – find bugs in Java code
SpotBugs is a program which uses static analysis to look for bugs in Java code. It’s a fork of the abandoned FindBugs.
Read more