Skip to content
View msakai's full-sized avatar
296 followers · 294 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx4Achievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx4Achievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@ruby-gnome @haskell-jp @tapl-ja @TeamSampou

Block or report msakai

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
msakai/README.md

Popular repositories Loading

  1. cpl cpl Public

    An interpreter of Hagino's Categorical Programming Language (CPL).

    Haskell 176 9

  2. toysolver toysolver Public

    My sandbox for experimenting with solver algorithms.

    Haskell 158 11

  3. data-interval data-interval Public

    Interval datatype, interval arithmetic, and interval-based containers for Haskell

    Haskell 22 10

  4. haskell-decision-diagrams haskell-decision-diagrams Public

    Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

    Haskell 13 6

  5. nonlinear-optimization-ad nonlinear-optimization-ad Public

    Several Haskell packages for numerical optimizations.

    Haskell 9 1

  6. ptq ptq Public

    An implementation of Montague's PTQ (Proper Treatment of Quantification).

    Haskell 7