FRP implementation in Rust

Experimental fork of ghcide which is reimplemented using the FRP library reflex

Hire the top 1% OSS engineers

Formal specification of the Haskell Language Report

Create a 130GB Nix ️store in GitHub runners ❄️ Multi-partition BTRFS RAID-0 for /nix 💪 Brutally purges unnecessary software 🪓 Dynamically grows the Nix store 📈

🍜 🐈 A tasty Haskell mobile framework

ghc --make reimplemented with Shake

Easy concurrency in Haskell

https://hercules-ci.com build and deployment agent

Visualiser for Haskell (GHC) prof files

A fast Haskell JSON library

An MLIR-based high-performance Scheme compiler and runtime

Some out-of-the-box hooks for pre-commit

Low-level networking interface

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Extend Cabal build-depends from the command line

Fast equality saturation in Haskell

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

This is now an experimental prototype of a system programming language based on MLFe type system.

Linear Types, Symmetric Monoidal Categories, and Tensors

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

A fast, safe, and intuitive DataFrame library.

Efficiency plugin designed to optimize code actions in Neovim

🦥 Supercharge your Haskell experience in neovim!

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Enhances the display of virtual text for diagnostics in Neovim. This function aims to provide a more user-friendly and informative presentation of diagnostic messages directly within the editor.

Improved UI and workflow for the Neovim quickfix

Better quickfix window in Neovim, polish old quickfix window.

Improved fzf.vim written in lua