dogear

enter for all results · esc to close

OCaml

367 items from ocaml-community/awesome-ocaml ★3,124

  1. Rust Programming Language rust-lang.org

    , a systems language which achieves memory- and thread-safety without a garbage collector!

  2. Mongo.ml massd.github.io
  3. Haxe Programming Language haxe.org

    Produce cross-platform native code. [GitHub]

  4. Hack Programming Language hacklang.org
  5. Menhir gallium.inria.fr

    Parser generator that can output Coq code for verified parsers.

  6. Gagallium gallium.inria.fr
  7. Frama-C frama-c.com

    A sound and extensible static analyzer for C code.

  8. Cornell University – Data Structures and Functional Programming cs.cornell.edu
  9. University of Illinois courses.engr.illinois.edu
  10. Coq coq.inria.fr
  11. Compcert C Compiler compcert.inria.fr

    High-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.

  12. ReScript rescript-lang.org
  13. Js_of_ocaml ocsigen.org
  14. OCaml-Java ocamljava.org

    Supports OCaml language v4. Generates plain Java bytecode and have seamless integration with Java.

  15. Xen – OCaml Coding Considerations wiki.xen.org
  16. XEN – OCaml Best Practices for Developers wiki.xen.org
  17. Why3 why3.lri.fr
  18. WHIZARD whizard.hepforge.org
  19. A Guide to Extension Points in OCaml whitequark.org
  20. Parallelism programming v2.ocaml.org
  21. ocp-index typerex.org
  22. ocp-indent typerex.org
  23. Type OCaml – Many things about OCaml typeocaml.com
  24. codingground tutorialspoint.com
  25. Try OCaml try.ocamlpro.com
  26. Fiddling with the OCaml Type System technotroph.wordpress.com
  27. Sublime text package sublime.wbond.net
  28. OCaml - polymorphic print and type losing stackoverflow.com
  29. What is the state of OCaml's parallelization abilities? stackoverflow.com
  30. OCaml polymorphism example other than template function? stackoverflow.com
  31. next page of items loading…