Starred repositories
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient 8000 + 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.
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
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
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
Haskell 101 and 102: slides and codelabs
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Graphical configurator for Kaleidoscope-powered keyboards
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar