Skip to content
View AlexanderAA's full-sized avatar
10 followers · 17 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report AlexanderAA

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

  1. urweb/urweb urweb/urweb Public

    The Ur/Web programming language

    Standard ML 801 66

  2. MLton/mlton MLton/mlton Public

    The MLton repository

    Standard ML 929 125

  3. ledger_binaries_windows ledger_binaries_windows Public

    Ledger (a powerful command-line accounting system) v2.6.1 and v3.1.x binaries for windows systems

    65 10

  4. haskell-contract-valuation haskell-contract-valuation Public

    Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyton Jones and J-M. Eber for details

    Haskell 11 4

  5. extensibl/ports extensibl/ports Public

    OpenBSD ports of MLton and Ur/Web compilers

    Assembly 4 1

  6. jspreadsheet jspreadsheet Public

    Web-based realtime collaborative spreadsheets

    JavaScript 2 1