Flight rules for git

ShellCheck, a static analysis tool for shell scripts

Project documentation with Markdown.

Faker is a Python package that generates fake data for you.

Static Type Checker for Python

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

The property-based testing library for Python

Higher level programming in C

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

The Scala 3 compiler, also known as Dotty.

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Python Classes Without Boilerplate

Web interface for browsing, search and filtering recent arxiv submissions

📦 A Human's Ultimate Guide to setup.py.

Principled Functional Programming in Scala

A Grammar of Graphics for Python

Maintainable configuration files

A Haskell library that simplifies access to remote data, such as databases or web-based services.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

PowerMock is a Java framework that allows you to unit test code normally regarded as untestable.

Breeze is/was a numerical processing library for Scala.

Functional programming in Python: implementation of missing features to enjoy FP

Hidden Markov Models in Python, with scikit-learn like API

Python library for causal inference and probabilistic modeling.

Agda is a dependently typed programming language / interactive theorem prover.

Wonderful reusable code from Twitter

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Terminal-based presentations using Pandoc

A Haskell kernel for the Jupyter project.

A better build tool for Java, Scala and Kotlin: 3-6x faster than Maven or Gradle, less fiddling with plugins, and more easily explorable in your IDE