Hazelfire

cause-priority

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

BotsUnlimited

Bots for discord

cabal-doctest

A Setup.hs helper for doctest running

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

confirmation

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

ea-public-interest-technology.github.io

govHackProject

TEAM - The Team Name

graphjinj

A DSL for custom graphql views

HaskellNet

Haskell library which provides client support for POP3, SMTP, and IMAP protocols.

HaskellNet-SSL

Helpers to connect to SSL/TLS mail servers with HaskellNet

home-manager

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

itp-presentation

json-utils

may-elm

may-haskell

minima

Minima is a one-size-fits-all Jekyll theme for writers.

monad-bayes

A library for probabilistic programming in Haskell.

openapi-cli

openapi-generator-bazel

Bazel plugin for OpenAPI Generator

openapi-specs

oss-github-benchmark

Benchmark of OSS projects on GitHub

pvslib

NASA PVS Library of Formal Developments

RvB-Battlebot

D&D RvB battle bot

scrumblr-enhancement

This repository contains the enhancement for an existing web application, Scrumblr, which involves migrating it to AWS platform and adding persistent storage in it.

serde_dynamodb

Talk with dynamodb using your existing structs thanks to serde

systematic-literature

Command line tool for doing systematic literature reviews

thesis

Tutoring