agda-mode for neovim

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

A massively parallel, optimal functional runtime in Rust

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

A MinCaml compiler implemented in Rust

LLVM compiler for Granule

Examples for Haskell bindings to LLVM

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A syntax-highlighting pager for git, diff, grep, and blame output

The Flix Programming Language

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

DOM view component for the CodeMirror code editor

An XML parser for lezer

Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.

Incremental parsing system

🍜 A tasty Haskell front-end framework

Collection of editing commands for the CodeMirror code editor

Manage a user environment using Nix [maintainer=@rycee]

The theory of groups

A complete digital OpenType font restoration of the typeface found in the 1611 King James Bible

An integrated context-aware scanner and parser generator

File manager for Neovim. Better than NERDTree.

Build terminal user interfaces and dashboards using Rust

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

Generate Nix expressions to build NPM packages

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Generate Nix build instructions from a Cabal file

fastest text uwuifier in the west

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Example implementation of Algorithm W for Hindley-Milner type inference