Pinned Repositories
BluetoothTest
A proof of concept demonstrating that and Android app and a BlueCove server can communicate with each other.
code-page
Windows code page library for Haskell
echo
A cross-platform, cross-console way to handle echoing terminal input
eliminators
Dependently typed elimination functions using singletons
ghc-software-foundations
The Software Foundations book, in GHC
gists
The greatest hits of https://gist.github.com/RyanGlScott
levitation
Following along with the paper "The Practical Guide to Levitation" by Ahmad Salim Al-Sibahi
proxied
Make functions consume Proxy instead of undefined
text-show
Efficient conversion of values into Text
th-lift
Derive Template Haskell's Lift class for datatypes.
RyanGlScott's Repositories
RyanGlScott/ghc-software-foundations
The Software Foundations book, in GHC
RyanGlScott/text-show
Efficient conversion of values into Text
RyanGlScott/eliminators
Dependently typed elimination functions using singletons
RyanGlScott/th-lift
Derive Template Haskell's Lift class for datatypes.
RyanGlScott/gists
The greatest hits of https://gist.github.com/RyanGlScott
RyanGlScott/proxied
Make functions consume Proxy instead of undefined
RyanGlScott/text-show-instances
Additional instances for text-show
RyanGlScott/keycode
Maps web browser keycodes to their corresponding keyboard keys
RyanGlScott/lift-generics
GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation
RyanGlScott/submods-to-source-repos
Convert a submodule-using cabal.project file to one that uses source-repository-packages
RyanGlScott/ci-maintenance
Miscellaneous hacks I use to maintain projects with .travis.yml scripts.
RyanGlScott/constraint-tuples
Partially applicable constraint tuples
RyanGlScott/ordered-containers
Set- and Map-like types that remember the order elements were inserted
RyanGlScott/RyanGlScott.github.io
RyanGlScott/singleton-gadts
SingKind instances for GADTs
RyanGlScott/arm-asl-parser
Parsing tools for ARM's ASL
RyanGlScott/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.
RyanGlScott/bsc
Bluespec Compiler (BSC)
RyanGlScott/code-generators-issue
RyanGlScott/filepath
Haskell FilePath core library
RyanGlScott/gha-sandbox
Testing grounds for GitHub Actions
RyanGlScott/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
RyanGlScott/hobbits
A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.
RyanGlScott/language-rust
Parser and pretty-printer for the Rust language
RyanGlScott/libffi
A Haskell binding to libffi.
RyanGlScott/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
RyanGlScott/llvm-pretty-bc-parser
Parser for the llvm bitcode format
RyanGlScott/pate
Patches Assured up to Trace Equivalence
RyanGlScott/poetry-bug
A bug in how Poetry 1.4.0+ interacts with mypy and local packages
RyanGlScott/test-lib
A simple test script, for finding and running tests for an executable.