ShellCheck, a static analysis tool for shell scripts

Universal markup converter

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

A statically typed lisp, without a GC, for real-time applications.

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

C to Rust translator

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

An implementation of Python 3

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor mo…