Developer Tools

Stan Bayesian Inference Engine

mc-stan.org

Stan is a probabilistic programming language and statistical inference engine for Bayesian modeling,...

seL4 Formally Verified Microkernel

sel4.systems

seL4 is a high-assurance operating system microkernel with a complete mathematical proof of function...

Brotli Compression Algorithm

github.com

Brotli is a generic-purpose lossless compression algorithm developed by Jyrki Alakuijala and Zoltan...

Joplin Note-Taking App

joplinapp.org

Joplin is a free, open-source note-taking and to-do application with synchronization capabilities, d...

TrueNAS Network Attached Storage

www.truenas.com

TrueNAS is a free and open-source network-attached storage (NAS) operating system based on FreeBSD (...

CasaOS Self-Hosted Platform

casaos.zimaspace.com

CasaOS is a free and open-source personal cloud platform that provides a simple, user-friendly web i...

Plane Open Source Issue Tracker

plane.so

Plane is an open-source project management tool that helps teams plan, track, and manage software de...

Poem Rust Web Framework

github.com

Poem is a full-featured, ergonomic web framework for Rust, designed to provide a developer-friendly...

FlatBuffers Serialization Library

flatbuffers.dev

FlatBuffers is a free and open-source cross-platform serialization library that enables efficient re...

mimalloc Memory Allocator

github.com

mimalloc is a free and open-source general-purpose memory allocator developed by Daan Leijen at Micr...

Spacemacs Emacs Distribution

www.spacemacs.org

Spacemacs is a free and open-source community-driven Emacs distribution that combines the best of bo...

CoreDNS DNS Server

github.com

CoreDNS is a free and open-source DNS server written in Go that is fast, flexible, and designed for...

Deno JavaScript Runtime

github.com

Deno is a free and open-source modern, secure runtime for JavaScript, TypeScript, and WebAssembly, c...

PHPStan Static Analysis Tool

github.com

PHPStan is a free and open-source static analysis tool for PHP that finds bugs and improves code qua...

Concourse CI/CD Pipeline

github.com

Concourse is a free and open-source continuous integration and continuous delivery (CI/CD) system de...

YASM Modular Assembler

github.com

YASM is a free and open-source assembler that serves as a complete rewrite and reimplementation of t...

Psalm PHP Static Analysis

psalm.dev

Psalm is a free and open-source static analysis tool for PHP that detects type errors, logic bugs, a...

AssemblyScript TypeScript to WASM

github.com

AssemblyScript is a free and open-source programming language and compiler that compiles a variant o...

Squid Proxy Cache Server

github.com

Squid is a free and open-source caching and forwarding HTTP web proxy that provides proxy services a...

QuickJS JavaScript Engine

github.com

QuickJS is a free and open-source small and embeddable JavaScript engine that implements the ES2020...