Stories tagged as ml MetaLanguage, OCaml programming

Most often also tagged with plt compilers compsci dotnet release haskell web javascript

  1. 13
    Soupault 4.4.0 release and a review of cache implementations in static site generators show ml web soupault.app
    dmbaturin avatar authored by dmbaturin 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  2. 12
    The Growth of the OCaml Distribution devops ml ocamlpro.com
    krtab avatar via krtab 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  3. 12
    Generating static and portable executables with OCaml compilers ml ocamlpro.com
    jeanthomas avatar via jeanthomas 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 22
    ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml ☶ ml github.com
    hao avatar via hao 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 22
    Love Rust? Then OCaml's New Eio Library is for You ml rust tarides.com
    samebchase avatar via samebchase 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  6. 87
    OCaml 5.0.0 (with multicore and effects) is out ml release discuss.ocaml.org
    mseri avatar via mseri 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  7. 15
    OCamlPro/owi: OCaml WebAssembly Interpreter ml wasm github.com
    jeanthomas avatar via jeanthomas 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 12
    Array short-circuiting in Futhark apl ml performance plt futhark-lang.org
    munksgaard avatar authored by munksgaard 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 15
    Necro ML: Generating OCaml Interpreters pdf ml louis.noizet.fr
    edoput avatar via edoput 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 14
    A small benchmark for functional languages targeting web browsers haskell ml performance web gergo.erdi.hu
    habibalamin avatar via habibalamin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  11. 24
    Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann distributed formalmethods ml lawrencecpaulson.github.io
    eatonphil avatar via eatonphil 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  12. 42
    Practical OCaml, Multicore Edition ml dev.to
    yawaramin avatar authored by yawaramin 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  13. 21
    Memories: Edinburgh ML to Standard ML ml plt lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  14. 9
    Race Conditions Can Be Useful for Parallelism ml shwestrick.github.io
    eatonphil avatar via eatonphil 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 27
    Real World OCaml: Functional Programming for the Masses ml release cambridge.org
    agent281 avatar via agent281 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  16. 22
    Finding the “Second Bug” in glibc’s Condition Variable c debugging formalmethods ml probablydance.com
    Confusion avatar via Confusion 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  17. 26
    GOSPEL: A tool-agnostic formal specification language for OCaml formalmethods ml github.com
    jmiven avatar via jmiven 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 57
    OCaml at First Glance ml batsov.com
    bbatsov avatar authored by bbatsov 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  19. 13
    Millet, a language server for SML ml azdavis.net
    jmelesky avatar via jmelesky 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  20. 26
    Reflections on my first completed application in OCaml (2020) ml discuss.ocaml.org
    adsouza avatar via adsouza 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 5
    Ceptre, a tiny logic programming language for prototyping rulesets that you can run, interact with ml plt github.com
    eatonphil avatar via eatonphil 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    Parallel ML benchmark suite ml performance github.com
    eatonphil avatar via eatonphil 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 20
    How MirageOS Powers Docker Desktop ml virtualization mirage.io
    zem avatar via zem 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 28
    The Programming Languages Zoo ml plt plzoo.andrej.com
    agent281 avatar via agent281 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  25. 4
    Supporting GPU-accelerated Machine Learning with Kubernetes and Nix ml nix canvatechblog.com
    serce avatar via serce 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

Page 2 >>