Hosting read-only SQLite databases on static file hosters like Github Pages

Simple way how to improve experience from performance profiling and debugging in Elm output code.

A library that allows you to "tag" a value with a specific type for compile time verification.

mimalloc is a compact general purpose allocator with excellent performance.

ECMAScript 5 compatibility shims for legacy (and modern) JavaScript engines

Set up a modern web app by running one command.

toy programming language

Rule ideas for elm-review

Complete dice rolling functionality and animations

The best React-based framework with performance, scalability and security built in.

Blurhash decoding and encoding in Elm

A very compact representation of a placeholder for an image.

A programming language with static memory management based on λ-calculus

[Spring 2020] Independent Work

⚜︎ A language that compiles to WebAssembly

The uncompromising Python code formatter

A code rewrite tool for structural search and replace that supports ~every language.

Official Haskell IDE support via the language server protocol (LSP)

JavaScript 3D Library.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

protobuf plugin for elm

Protocol Buffers - Google's data interchange format

Haskell to VHDL/Verilog/SystemVerilog compiler

An interactive visualization tool for graph theory

Haskell bindings for LLVM

Port "Software Foundations" to LiquidHaskell

Implementation of symbolic AI techniques for the board game 'Connect Four'

Regression testing in Elm!

This is an attempt to build a pure elm video player -- no ports, no web components, no kernel code

A library for building dynamic webapps, using Js_of_ocaml