Adds static typing to JavaScript to improve developer productivity and code quality.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

magic-trace collects and displays high-resolution traces of what a process is doing

The Opa Language for Web Application Development

An engine for displaying slips, the next-gen version of slides

the core 0install package

🔎🐞 A language-agnostic linting platform

A DNS server that automatically starts unikernels on demand

This project aims at being able to export Kicad v5 Sch files to structured picture files