Block or report user



Popular repositories

  1. Makefile-template

    A generic makefile template

    Makefile 17 14

  2. OpenVLBA

    Very long baseline interferometry for radio astronomy

    Haskell 4 1

  3. conftron

    automatic configuration and interface for lcm messaging

    C 4 3

  4. pipes-zeromq4

    Haskell Pipes integration for ZeroMQ

    Haskell 4 1

  5. emacs

    Emacs config (elisp)

    Emacs Lisp 3

  6. latc

    typeclasses for linear algebra

    Haskell 3 1

34 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

May 2018

Created a pull request in LeventErkok/sbv that received 1 comment

Make code-generation interaction configurable

Previously generating C code always printed messages and would prompt the user interactively in the terminal if files to be output conflicted with …

+47 −15 1 comment

Created an issue in LeventErkok/sbv that received 10 comments

Code-generation and integer literals

I have the following function: f :: SInt8 -> SBool f int = (0 :: SInt64) .< (ite (int ./= int) (0 :: SInt64) (-9223372036854775808 :: SInt64) :: SI…


Seeing something unexpected? Take a look at the GitHub profile guide.