Universal markup converter

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A modern proof language

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Haskell to JavaScript compiler, based on GHC

Easy dependency management for Nix projects

The official formatter for Nix code

A feature-rich Unix terminal client for the Mattermost chat system

Interactively browse dependency graphs of Nix derivations.

Compiler for the Gren programming language

Explain why two Nix derivations differ

Search for old versions of Nix packages

Convert Elm project into Nix expressions

A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.

A neural assembly compiler for pyTorch based on adaptive-neural-compilation

Use your pure elm functions in Node.js in a synchronous way!