Skip to content
View RyanGlScott's full-sized avatar
253 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruck

Organizations

@haskell @ku-fpg @iu-parfunc @lens @wonks @haskell-compat

Block or report RyanGlScott

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • simple-smt Public

    Forked from yav/simple-smt
    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 6, 2024

  • submods-to-source-repos Public

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

    Haskell 2 Updated Dec 6, 2024

  • lift-generics Public

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

    Haskell 4 1 BSD 3-Clause "New" or "Revised" License Updated Dec 5, 2024

  • th-lift Public

    Derive Template Haskell's Lift class for datatypes.

    Haskell 13 16 Other Updated Dec 5, 2024

  • keycode Public

    Maps web browser keycodes to their corresponding keyboard keys

    Haskell 4 4 BSD 3-Clause "New" or "Revised" License Updated Dec 5, 2024

  • text-show-instances Public

    Additional instances for text-show

    Haskell 6 4 BSD 3-Clause "New" or "Revised" License Updated Nov 5, 2024

  • ghc-software-foundations Public

    The Software Foundations book, in GHC

    Haskell 82 3 Updated Oct 26, 2024

  • eliminators Public

    Dependently typed elimination functions using singletons

    Haskell 28 BSD 3-Clause "New" or "Revised" License Updated Oct 26, 2024

  • singleton-gadts Public

    SingKind instances for GADTs

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Oct 26, 2024

  • text-show Public

    Efficient conversion of values into Text

    Haskell 39 10 BSD 3-Clause "New" or "Revised" License Updated Oct 23, 2024

  • haskell-ci Public

    Forked from haskell-CI/haskell-ci

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

    Haskell GNU General Public License v3.0 Updated Oct 21, 2024

  • gha-sandbox Public

    Testing grounds for GitHub Actions

    Haskell Other Updated Sep 20, 2024

  • hobbits Public

    Forked from eddywestbrook/hobbits

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 8, 2024

  • haggle Public

    Forked from travitch/haggle

    An efficient graph library for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 7, 2024

  • itanium-abi Public

    Forked from travitch/itanium-abi

    An implementation of C++ name mangling for the Itanium ABI

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 4, 2024

  • RyanGlScott.github.io Public

    SCSS 2 2 Other Updated Jul 15, 2024

  • mintty Public

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

    Haskell 4 1 BSD 3-Clause "New" or "Revised" License Updated Jun 25, 2024

  • haskell-wasm Public

    Forked from SPY/haskell-wasm

    Haskell WebAssembly Toolkit

    Haskell Other Updated Jun 3, 2024

  • ci-maintenance Public

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

    Haskell 1 GNU General Public License v3.0 Updated May 16, 2024

  • ordered-containers Public

    Forked from dmwit/ordered-containers

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

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated May 12, 2024

  • aws-lc-verification Public

    Forked from 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 …

    Go Apache License 2.0 Updated May 6, 2024

  • constraint-tuples Public

    Partially applicable constraint tuples

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated May 3, 2024

  • proxied Public

    Make functions consume Proxy instead of undefined

    Haskell 6 BSD 3-Clause "New" or "Revised" License Updated Apr 20, 2024

  • bsc Public

    Forked from B-Lang-org/bsc

    Bluespec Compiler (BSC)

    Haskell Other Updated Jan 18, 2024

  • pate Public

    Forked from GaloisInc/pate

    Patches Assured up to Trace Equivalence

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 15, 2023

  • language-rust Public

    Forked from harpocrates/language-rust

    Parser and pretty-printer for the Rust language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 9, 2023

  • poetry-bug Public

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

    Python BSD 3-Clause "New" or "Revised" License Updated May 8, 2023

  • llvm-pretty-bc-parser Public

    Forked from GaloisInc/llvm-pretty-bc-parser

    Parser for the llvm bitcode format

    LLVM Other Updated Mar 15, 2023

  • llvm-pretty Public

    Forked from GaloisInc/llvm-pretty

    An llvm pretty printer inspired by the haskell llvm binding

    Haskell Other Updated Mar 15, 2023

  • filepath Public

    Forked from haskell/filepath

    Haskell FilePath core library

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 19, 2023