RyanGlScott/aws-lc-verification Fork of awslabs/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.

Size: 649 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

RyanGlScott/constraint-tuples

Partially applicable constraint tuples

Language: Haskell - Size: 55.7 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 1 - Forks: 0

RyanGlScott/text-show

Efficient conversion of values into Text

Language: Haskell - Size: 1.7 MB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 38 - Forks: 9

RyanGlScott/code-page

Windows code page library for Haskell

Language: Haskell - Size: 56.6 KB - Last synced: 14 days ago - Pushed: about 3 years ago - Stars: 10 - Forks: 4

RyanGlScott/text-show-instances

Additional instances for text-show

Language: Haskell - Size: 527 KB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 6 - Forks: 4

RyanGlScott/lift-generics

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

Language: Haskell - Size: 60.5 KB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 4 - Forks: 1

RyanGlScott/keycode

Maps web browser keycodes to their corresponding keyboard keys

Language: Haskell - Size: 47.9 KB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 4 - Forks: 4

RyanGlScott/proxied

Make functions consume Proxy instead of undefined

Language: Haskell - Size: 53.7 KB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 6 - Forks: 0

RyanGlScott/ghc-software-foundations

The Software Foundations book, in GHC

Language: Haskell - Size: 120 KB - Last synced: 2 months ago - Pushed: 7 months ago - Stars: 80 - Forks: 3

RyanGlScott/eliminators

Dependently typed elimination functions using singletons

Language: Haskell - Size: 232 KB - Last synced: 22 days ago - Pushed: about 2 months ago - Stars: 27 - Forks: 0

RyanGlScott/singleton-gadts

SingKind instances for GADTs

Language: Haskell - Size: 53.7 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

RyanGlScott/language-c99-simple Fork of fdedden/language-c99-simple

Simplified C AST that translates to language-c99

Size: 49.8 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

RyanGlScott/unix-time Fork of kazu-yamamoto/unix-time

Fast time library

Size: 182 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

RyanGlScott/llvm-pretty-bc-parser Fork of GaloisInc/llvm-pretty-bc-parser

Parser for the llvm bitcode format

Size: 854 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/llvm-pretty Fork of elliottt/llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Size: 498 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/filepath Fork of haskell/filepath

Haskell FilePath core library

Size: 737 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/generics-sop Fork of well-typed/generics-sop

Generic Programming using True Sums of Products

Size: 438 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/bsc Fork of B-Lang-org/bsc

Bluespec Compiler (BSC)

Size: 36.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/pate Fork of GaloisInc/pate

Patches Assured up to Trace Equivalence

Size: 6.31 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

RyanGlScott/RyanGlScott.github.io

Language: SCSS - Size: 12.6 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 2

RyanGlScott/code-generators-issue

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/saw-script Fork of GaloisInc/saw-script

The SAW scripting language.

Size: 52.1 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/crucible Fork of GaloisInc/crucible

Crucible is a library for symbolic simulation of imperative programs

Size: 33.5 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/th-lift

Derive Template Haskell's Lift class for datatypes.

Language: Haskell - Size: 132 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 14 - Forks: 16

RyanGlScott/submods-to-source-repos

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

Language: Haskell - Size: 16.6 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

RyanGlScott/grift Fork of GaloisInc/grift

Galois RISC-V ISA Formal Tools

Size: 7.54 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/gists

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

Language: Haskell - Size: 46.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 11 - Forks: 0

RyanGlScott/cardano-node Fork of input-output-hk/cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Size: 235 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/ouroboros-network Fork of input-output-hk/ouroboros-network

An implementation of the Ouroboros family of consensus algorithms, with its networking support

Size: 344 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/ghc-t21141

A reproducer for GHC#21141

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/cborg Fork of well-typed/cborg

Binary serialisation in the CBOR format

Size: 3.94 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/test-lib Fork of GaloisInc/test-lib

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

Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/hkd Fork of ekmett/hkd

higher-kinded data

Size: 35.2 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/ci-maintenance

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

Language: Haskell - Size: 137 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

RyanGlScott/ghc-t20779

A minimal reproduction of GHC#20779

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/arm-asl-parser Fork of GaloisInc/arm-asl-parser

Parsing tools for ARM's ASL

Size: 161 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/vector-th-unbox Fork of tsurucapital/vector-th-unbox

Deriver for unboxed vectors using Template Haskell

Size: 44.9 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/mintty

A reliable way to detect the presence of a MinTTY console on Windows

Language: Haskell - Size: 50.8 KB - Last synced: 14 days ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 1

RyanGlScott/gha-sandbox

Testing grounds for GitHub Actions

Language: Haskell - Size: 79.1 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

RyanGlScott/s2n-tls Fork of aws/s2n-tls

s2n : an implementation of the TLS/SSL protocols

Size: 20.4 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/haskell-ci Fork of haskell-CI/haskell-ci

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

Size: 1.73 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

RyanGlScott/echo

A cross-platform, cross-console way to handle echoing terminal input

Language: Haskell - Size: 52.7 KB - Last synced: 15 days ago - Pushed: about 3 years ago - Stars: 10 - Forks: 1

RyanGlScott/semmc Fork of GaloisInc/semmc

Stratified synthesis for learning machine code instruction semantics

Size: 7.2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/BluetoothTest

A proof of concept demonstrating that and Android app and a BlueCove server can communicate with each other.

Language: Java - Size: 3.83 MB - Last synced: 9 months ago - Pushed: over 10 years ago - Stars: 7 - Forks: 6

RyanGlScott/ghc-t19350

A minimal reproduction of GHC#19350

Language: Makefile - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

RyanGlScott/jimage

Bindings for jimage

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

RyanGlScott/attoparsec Fork of haskell/attoparsec

A fast Haskell library for parsing ByteStrings

Size: 1.02 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

RyanGlScott/generic-deriving-extra Fork of dreixel/generic-deriving

Language: Haskell - Size: 543 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

RyanGlScott/levitation

Following along with the paper "The Practical Guide to Levitation" by Ahmad Salim Al-Sibahi

Language: Idris - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 7 - Forks: 0

RyanGlScott/binary-parsers Fork of winterland1989/binary-parsers

Extends binary with parsec/attoparsec style parsing combinators

Size: 197 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/cabal-project-parser

Language: Haskell - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

RyanGlScott/ghc-t16211-t16234

A minimal way to reproduce the bugs observed in GHC #16211 and #16234

Language: Haskell - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/ghc-t16935

A minimal reproduction of GHC #16935

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/decidable Fork of mstksg/decidable

Combinators for manipulating dependently-typed predicates.

Language: Haskell - Size: 2.51 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/parsec Fork of haskell/parsec

A monadic parser combinator library

Language: Haskell - Size: 339 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/ordered-containers Fork of dmwit/ordered-containers

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

Language: Haskell - Size: 32.2 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/persistwrap Fork of dspies-leapyear/persistwrap

Language: Haskell - Size: 296 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/conkin Fork of rampion/conkin

Tools for functors from Hask^k to Hask

Language: Haskell - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-gh5423

A minimal reproduction of Cabal bug #5423

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

RyanGlScott/ghc-t11084

A minimal example of GHC Trac #11084

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-gh5213

A minimal reproduction of Cabal bug #5213

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-gh5164

A minimal reproduction of Cabal bug #5164

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

Language: Haskell - Size: 3.28 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-sdist-bug

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/liquidhaskell Fork of ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Language: Haskell - Size: 23 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-optional-project-bug

cabal.project's optional-packages are too eager

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

RyanGlScott/hmatrix-segfault

A Windows-only, GHCi-only segfault discovered in an hmatrix example. Hoo boy.

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-gh4367

Is this cabal issue 4367?

Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

RyanGlScott/cabal-gh4253

A minimal example that showcases Cabal bug #4253

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

RyanGlScott/ghc Fork of ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])

Language: Haskell - Size: 204 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

RyanGlScott/vigenere

A Vigenère cipher encrypter/decrypter in Haskell

Language: Haskell - Size: 746 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

RyanGlScott/lr0-item-set

Constructs the set of LR(0) items from a DCFG

Language: Haskell - Size: 188 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

RyanGlScott/nfa2dfa

Conversion of automata via subset construction

Language: Haskell - Size: 207 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

RyanGlScott/ghc-plugin-test

Testing out GHC's plugin feature

Language: Haskell - Size: 141 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 1 - Forks: 0

RyanGlScott/hermit-bluetooth

An attempt to make Haskell, Android, and Bluetooth have a group conversation.

Language: Haskell - Size: 336 KB - Last synced: 9 months ago - Pushed: almost 10 years ago - Stars: 4 - Forks: 0

RyanGlScott/Canway

Conway's Game of Life implemented with blank-canvas

Language: Haskell - Size: 105 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

RyanGlScott/acm-test

Language: TeX - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

RyanGlScott/coq-mmaps Fork of coq-community/coq-mmaps

Modular Finite Maps overs Ordered Types

Language: Coq - Size: 65.4 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

RyanGlScott/libffi Fork of remiturk/libffi

A Haskell binding to libffi.

Size: 43 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RyanGlScott/haddock Fork of haskell/haddock

Haskell Documentation Tool

Language: HTML - Size: 12.7 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0