Skip to content
View alpha-convert's full-sized avatar

Highlights

  • Pro

Block or report alpha-convert

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

Pinned Loading

  1. delta delta Public

    Implementation of the Delta Language

    Haskell 6

  2. unboxed-splitmix unboxed-splitmix Public

    A port of splittable_random using unboxed int64s.

    OCaml

  3. fusers fusers Public

    A stream processing library to defeat all other stream processing libraries

    Haskell

  4. heartbeat heartbeat Public

    Heartbeat Scheduling in Ocaml

    OCaml 1

  5. causal-functions-and-automata causal-functions-and-automata Public

    HTML

  6. dafny-typechecker-stability dafny-typechecker-stability Public

    TeX