Pinned

1. urweb/urweb

   The Ur/Web programming language

   Standard ML 687 53

2. MLton/mlton

   The MLton repository

   Standard ML 635 95

3. ledger_binaries_windows

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

   56 8

4. haskell-contract-valuation

   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 9 4

5. extensibl/ports

   OpenBSD ports of MLton and Ur/Web compilers

   Assembly 4 1

6. jspreadsheet

   Web-based realtime collaborative spreadsheets

   JavaScript 2 1