RyanGlScott

ghc-software-foundations

The Software Foundations book, in GHC

text-show

Efficient conversion of values into Text

eliminators

Dependently typed elimination functions using singletons

th-lift

Derive Template Haskell's Lift class for datatypes.

gists

The greatest hits of https://gist.github.com/RyanGlScott

proxied

Make functions consume Proxy instead of undefined

text-show-instances

Additional instances for text-show

keycode

Maps web browser keycodes to their corresponding keyboard keys

lift-generics

GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation

submods-to-source-repos

Convert a submodule-using cabal.project file to one that uses source-repository-packages

ci-maintenance

Miscellaneous hacks I use to maintain projects with .travis.yml scripts.

constraint-tuples

Partially applicable constraint tuples

ordered-containers

Set- and Map-like types that remember the order elements were inserted

RyanGlScott.github.io

singleton-gadts

SingKind instances for GADTs

arm-asl-parser

Parsing tools for ARM's ASL

aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

bsc

Bluespec Compiler (BSC)

code-generators-issue

filepath

Haskell FilePath core library

gha-sandbox

Testing grounds for GitHub Actions

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

hobbits

A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.

language-rust

Parser and pretty-printer for the Rust language

libffi

A Haskell binding to libffi.

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

llvm-pretty-bc-parser

Parser for the llvm bitcode format

pate

Patches Assured up to Trace Equivalence

poetry-bug

A bug in how Poetry 1.4.0+ interacts with mypy and local packages

test-lib

A simple test script, for finding and running tests for an executable.