Stories tagged as ml – MetaLanguage, OCaml programming

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 32
    Haskell vs OCaml haskell ml markkarpov.com
    A-Za-z0-9 avatar via A-Za-z0-9 2 days ago | cached | 33 comments
  2. 13
    Using TLA+ to understand Xen vchan ml virtualization roscidus.com
    raymii avatar via raymii 25 days ago | cached | no comments
  3. 9
    Soupault 1.5 (it can work with unmodified websites as an HTML processor now) ☶ show ml web soupault.neocities.org
    dmbaturin avatar authored by dmbaturin 1 month ago | cached | no comments
  4. 9
    Dex: Research language for array processing in the Haskell/ML family apl ml plt github.com
    ehamberg avatar via ehamberg 1 month ago | cached | 2 comments
  5. 11
    User-friendly topological sort in OCaml show ml baturin.org
    dmbaturin avatar authored by dmbaturin 1 month ago | cached | 3 comments
  6. 42
    A Bestiary of Single-File Implementations of Programming Languages c compilers lisp ml programming github.com
    edoput avatar via edoput 1 month ago | cached | 15 comments
  7. 9
    Unboxed Types for OCaml ml plt youtube.com
    eterps avatar via eterps 1 month ago | cached | 2 comments
  8. 8
    Typed Type-Level Computation in Amulet ml plt hydraz.semi.works
    hydraz avatar authored by hydraz 2 months ago | cached | no comments
  9. 3
    The OCaml Software Foundation ml discuss.ocaml.org
    zem avatar via zem 2 months ago | cached | no comments
  10. 34
    The Unison language ml plt unisonweb.org
    tomb avatar via tomb 2 months ago | cached | 13 comments
  11. 2
    Interactive amc-prove ☶ ml plt release hydraz.semi.works
    hydraz avatar authored by hydraz 2 months ago | cached | no comments
  12. 7
    Announcement: amc-prove ml plt release hydraz.semi.works
    hydraz avatar authored by hydraz 2 months ago | cached | no comments
  13. 18
    Announcing F# 4.7 dotnet ml release devblogs.microsoft.com
    calvin avatar via calvin 2 months ago | cached | 2 comments
  14. 19
    Multicore prerequisite patches appearing in released OCaml compilers now ml discuss.ocaml.org
    DrM avatar via DrM 2 months ago | cached | 6 comments
  15. 23
    A look back on OCaml since 2011 ml ocamlpro.com
    copy avatar via copy 2 months ago | cached | 5 comments
  16. 24
    OCaml 4.09.0 released ml release discuss.ocaml.org
    DrM avatar via DrM 2 months ago | cached | 6 comments
  17. 10
    The Distribution Monad ☶ math ml blog.russelldmatt.com
    etc avatar via etc 2 months ago | cached | no comments
  18. 14
    A Standard ML interpreter written in TypeScript with an online REPL ml plt github.com
    eatonphil avatar via eatonphil 3 months ago | cached | 2 comments
  19. 2
    Functor, applicative, and monad haskell ml typeslogicscats.gitlab.io
    lelf avatar via lelf 3 months ago | cached | no comments
  20. 14
    Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats ☶ pdf formalmethods ml networking security arxiv.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 2 comments
  21. 14
    Declarative parse error reporting with Menhir ml blog.baturin.org
    dmbaturin avatar authored by dmbaturin 3 months ago | cached | no comments
  22. 1
    MXNet made simple: Transfer Learning to achieve State of the Art on image classification tasks clojure ml arthurcaillau.com
    Yogthos avatar via Yogthos 3 months ago | cached | no comments
  23. 47
    v0.3.0 of Gleam, the statically typed language for the Erlang VM, is out erlang ml plt release lpil.uk
    lpil avatar authored by lpil 4 months ago | cached | 5 comments
  24. 15
    Extending OCaml programs with Lua (soupault got plugin support) show lua ml web blog.baturin.org
    dmbaturin avatar authored by dmbaturin 4 months ago | cached | 2 comments
  25. 7
    Lightweight Static Guarantees ml plt programming okmij.org
    mt avatar via mt 4 months ago | cached | 2 comments
Page 2 >>