Haskell MOOC University of Helsinki

The best way of working with Protocol Buffers.

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Always-Correct and Fast Incremental Builds from Simple Specifications

wazero: the zero dependency WebAssembly runtime for Go developers

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

Search NixOS packages and options

Generate Nix build instructions from a Cabal file

A DSL for embedded hard realtime applications.

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

A Single Page Application written in Elm

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

Internet Computer blockchain source: the client/replica software run by nodes

CUDA Core Compute Libraries

Generate x86 Assembly with Go

Haskell gRPC support

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

[ARCHIVED] The C++ parallel algorithms library. See https://github.com/NVIDIA/cccl

Abseil Common Libraries (C++)

Rules for using C++20 modules with bazel

A general purpose syntax highlighter in pure Go

Package gorilla/websocket is a fast, well-tested and widely used WebSocket implementation for Go.

Programming framework for writing and deploying cloud applications.

Porting all golang linters under golangci-lint to bazel rules_go

Blog post previews in need of peer review

Haskell 101 and 102: slides and codelabs

Nix Packages collection & NixOS

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

Graphical configurator for Kaleidoscope-powered keyboards

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar