Skip to content
View atomb's full-sized avatar

Organizations

@dafny-lang

Block or report atomb

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. core-to-isabelle core-to-isabelle Public

    Translator from GHC Core to Isabelle/HOLCF

    Emacs Lisp 17 4

  2. dtrace dtrace Public

    Haskell bindings to DTrace

    Haskell 8 1

  3. dalvik dalvik Public

    Haskell parser for Dalvik bytecode

    Haskell 5 9

  4. hsquicklook hsquicklook Public

    A QuickLook plugin for Haskell syntax highlighting

    3

  5. language-c-uniplate language-c-uniplate Public

    Uniplate instances for data types from the language-c package

    Haskell 1

  6. language-c-binary language-c-binary Public

    Binary instances for data types from the langauge-c package

    Haskell 1