A teaching operating system written in Rust

minimalistic secure XMPP client in OCaml

Fork of FreeBSD's base repository to work on graphics-stack-related projects

The engine for haskell ide-integration. Not an IDE

⚠️ PLEASE USE https://github.com/ncm2/ncm2 INSTEAD

Language Server Protocol (LSP) support for vim and neovim.

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

Asynchronous linting and make framework for Neovim/Vim

A neovim plugin for Intero, forked from ghcmod-vim

The Z3 Theorem Prover

A Haskell implementation of the Tor protocol.

Vim plugin that defines a new text object representing lines of code at the same indent level. Useful for python/vim scripts, etc.

Neovim API for Haskell plugins as well as the plugin provider

🌠 Dark powered asynchronous completion framework for neovim/Vim8

A tree explorer plugin for vim.

A RESTful Haskell web framework built on WAI.

Custom Haskell Vimscripts

Haskell to JavaScript compiler, based on GHC

A Proof-oriented Programming Language

Implementation of cryptographic primitives using Idris

Vim-fork focused on extensibility and usability

Idris mode for vim

🐚 Powerful shell implemented by vim.

Agda interaction in vim

The user-friendly command line shell.

Molokai color scheme for Vim

Vim plugin for intensely nerdy commenting powers

Build scripts for building ghc cross compilers targeting Android