Skip to content
View elliottt's full-sized avatar

Highlights

  • Pro

Organizations

@bytecodealliance

Block or report elliottt

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

Popular repositories Loading

  1. easy-smt easy-smt Public

    Easy SMT solver interaction

    Rust 24 7

  2. dang dang Public

    A compiler for a strongly typed, haskell-like functional language

    Haskell 22 4

  3. hsirc hsirc Public

    Haskell irc library

    Haskell 20 6

  4. hsopenid hsopenid Public

    A Haskell implementation of the OpenID 2.0 spec

    Haskell 19 6

  5. stm32f4 stm32f4 Public

    Basic support for developing with the STM32F4 Discovery board

    C 12 17

  6. located located Public

    Source location helpers

    Haskell 9 1