Skip to content
View jasigal's full-sized avatar

Highlights

  • Pro

Block or report jasigal

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. hasktorch-naperian hasktorch-naperian Public

    integrating Naperian functors with Hasktorch

    Haskell 9 1

  2. handlers-in-action handlers-in-action Public

    An implementation of the "Handlers in action" calculus in the K Framework

    4

  3. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++

  4. monad-bayes monad-bayes Public

    Forked from tweag/monad-bayes

    A library for probabilistic programming in Haskell.

    Haskell

  5. accelerate-llvm accelerate-llvm Public

    Forked from AccelerateHS/accelerate-llvm

    LLVM backend for Accelerate

    Haskell

  6. xdot xdot Public

    Forked from def-/xdot

    xdot library for Haskell

    Haskell