benjaminselfridge

propcheck

Proof checker for propositional logic

minesolver

minesweeper game + strategic advice feature

lc3b

An ISA-level assembler/simulator for the LC-3b architecture written in Haskell

sample-web-app

A very simple number guessing game web application, using JavaScript/jQuery and Scotty.

bv-embed

Define embeddings of small bit vectors into larger ones

concurrency-verification

Haskell rendering of examples from "Concurrency Verification" by de Roever et al.

emacs-time

emacs time tracker (written by Matt Kaufmann)

macaw-riscv

RISC-V backend for macaw

mazecut

a random maze generator

uses-softfloat

dummy package to exhibit a GHC 8.6 cabal bug

clafer

Clafer is a lightweight modeling language

elf-edit

The elf-edit library provides a datatype suitable for reading and writing Elf files.

json-builder

Data structure agnostic JSON serialization

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

optparse-applicative

Applicative option parser

parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.

riscv-compliance

riscv-isa-manual

RISC-V Instruction Set Manual

riscv-semantics

riscv-test-env

riscv-tests

rocket-chip

Rocket Chip Generator